Login / Signup
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008).
Darren D. Cofer
Alessandro Fantechi
Stefan Leue
Pedro Merino
Published in:
Sci. Comput. Program. (2011)
Keyphrases
</>
special issue
formal methods
safety critical
knowledge based systems
international journal
formal analysis
ai edam
formal specification
artificial intelligence
ecml pkdd
reactive systems
machine learning
applied intelligence
special section