Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models
2013 ◽
Vol 470
◽
pp. 304-309
Keyword(s):
Keyword(s):
Keyword(s):
1993 ◽
Vol 48
(1)
◽
pp. 63-77
Keyword(s):