Application Development for Safety Critical Distributed Embedded Systems with Model Verification
2018 ◽
Vol 14
(6)
◽
pp. 2418-2431
◽
2011 ◽
Vol 42
(6)
◽
pp. 863-873
◽
Keyword(s):
Keyword(s):