Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers.
Hubert GaravelStefania GnesiIna SchieferdeckerPublished in: Sci. Comput. Program. (2003)
Keyphrases
- international workshop
- selected papers
- special issue
- formal methods
- working group
- safety critical
- domain driven data mining
- annual conference
- revised selected papers
- ai edam
- lecture notes in artificial intelligence
- knowledge based systems
- international journal
- ecml pkdd
- review process
- pacific rim
- applied intelligence
- invited talk
- formal specification
- model checking
- program committee
- conference proceedings
- building blocks
- distributed systems
- information technology
- dagstuhl castle
- temporal logic
- software engineering