Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11).
Gwen SalaünBernhard SchätzPublished in: Sci. Comput. Program. (2014)
Keyphrases
- formal methods
- selected papers
- special section
- safety critical
- international workshop
- knowledge based systems
- formal analysis
- model checking
- artificial intelligence
- annual conference
- process algebra
- intelligent systems
- data mining
- development lifecycle
- reactive systems
- invited talk
- special issue
- building blocks
- software engineering
- computer science
- databases
- formal specification
- modeling language
- life cycle
- program committee
- business process
- award winning