Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
2013 ◽
Vol 23
(4)
◽
pp. 675-675
2017 ◽
Vol 19
(4)
◽
pp. 391-393
◽
2003 ◽
Vol 46
(3)
◽
pp. 195-196
◽
Keyword(s):
1995 ◽
Vol 28
(1)
◽
pp. 77-87
◽
2021 ◽