Hazard analysis of real-time safety critical systems using hierarchical communicating real-time state machines formal model
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2007 ◽
Vol 15
(1)
◽
pp. 77-94
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):