Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria.
Andrew ButterfieldJuan BicarreguiAlvaro ArenasPublished in: Formal Methods Syst. Des. (2007)
Keyphrases
- international workshop
- selected papers
- formal methods
- domain driven data mining
- safety critical
- revised selected papers
- annual conference
- lecture notes in artificial intelligence
- artificial intelligence
- invited talk
- formal analysis
- pacific rim
- knowledge based systems
- program committee
- formal specification
- reactive systems
- intelligent systems
- acm sigkdd
- expert systems
- review process
- asia pacific
- formal specification language
- conference proceedings
- modeling language
- model checking
- software engineering
- computer science
- natural language
- case study