Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems
2008 ◽
Vol 12
(1-2)
◽
pp. 97-137
◽
2006 ◽
2007 ◽
Vol 56
(5)
◽
pp. 692-705
◽
Keyword(s):
Keyword(s):
2013 ◽
pp. 134-137
◽
Keyword(s):
1994 ◽
Vol 04
(02)
◽
pp. 205-228
◽