The role of formal methods in the requirements analysis of safety-critical systems: a train set example
Keyword(s):
1988 ◽
Vol 12
(10)
◽
pp. 539-546
◽
2013 ◽
Vol 23
(4)
◽
pp. 675-675
1995 ◽
Vol 28
(1)
◽
pp. 77-87
◽
2015 ◽
Vol 08
(10)
◽
pp. 531-538
◽