AUTOMATIC VERIFICATION OF CONTROL ALGORITHMS IN CYBERPHYSICAL SYSTEMS ON SOFTWARE SIMULATORS
2016 ◽
Vol 136
(3)
◽
pp. 423-433
Keyword(s):
2008 ◽
Vol 128
(4)
◽
pp. 411-417
◽
Keyword(s):