Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected Papers.
Stefania GnesiDiego LatellaPublished in: Formal Methods Syst. Des. (2001)
Keyphrases
- selected papers
- international workshop
- special issue
- formal methods
- working group
- annual conference
- safety critical
- ecml pkdd
- domain driven data mining
- knowledge based systems
- invited talk
- model checking
- international journal
- pacific rim
- intelligent systems
- lecture notes in artificial intelligence
- revised selected papers
- computer science
- database
- dagstuhl castle
- applied intelligence
- review process
- distributed systems
- expert systems
- artificial intelligence
- program committee
- formal specification
- knowledge acquisition
- conference proceedings
- software engineering
- case study
- web services
- data mining