The Method of Failure Analysis for Safety-Critical System Software Based on Formalization
Keyword(s):
2007 ◽
Vol 2
(3)
◽
pp. 386-390
Keyword(s):
Keyword(s):
2017 ◽
Vol 82
◽
pp. 713-725
◽
Keyword(s):
2015 ◽
Vol 19
(2)
◽
pp. 247-269
◽
Keyword(s):
Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.
2019 ◽
Vol 18
(2)
◽
pp. 1:1
◽
Keyword(s):
Keyword(s):