Naujokaitis, Darius, Kauno Technologijos Universitetas, Lithuania
-
Elektronika ir Elektrotechnika Vol. 23 No. 6 (2017) - AUTOMATION, ROBOTICS
Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia
Abstract PDF