High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems
Keyword(s):
Keyword(s):
2013 ◽
Vol 4
(2)
◽
pp. 62-83
◽
Keyword(s):
Keyword(s):
1997 ◽
Vol 30
(3)
◽
pp. 397-402
◽
2003 ◽
Vol 68
(2)
◽
pp. 153-165
◽
Keyword(s):