An improved formal failure analysis approach for safety-critical system based on MBSA
2017 ◽
Vol 82
◽
pp. 713-725
◽
Keyword(s):
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):