On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study
Keyword(s):
2007 ◽
Vol 49
(6)
◽
pp. 707-714
◽
1995 ◽
Vol 91
(20)
◽
pp. 3633
◽
2017 ◽
pp. 125-133
◽
2019 ◽
Vol 20
(2)
◽
pp. 143-159
◽