Fault-tolerant control synthesis and verification of distributed embedded systems
Keyword(s):
2009 ◽
Vol 19
(5)
◽
pp. 591-610
◽
Keyword(s):
Keyword(s):
2014 ◽
Vol 44
(8)
◽
pp. 1056-1066
◽
2010 ◽
Vol 3
(5)
◽
pp. 388-394