The rôle of Formal Methods in the Engineering of Safety Critical Systems
1994 ◽
pp. 247-257
1988 ◽
Vol 12
(10)
◽
pp. 539-546
◽
Keyword(s):
2013 ◽
Vol 23
(4)
◽
pp. 675-675
1995 ◽
Vol 28
(1)
◽
pp. 77-87
◽
2015 ◽
Vol 08
(10)
◽
pp. 531-538
◽