A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops.
Pascal BégerSébastien LericheDaniel PrunPublished in: FM Workshops (1) (2019)
Keyphrases
- formal methods
- interactive systems
- panel discussion
- special issue
- knowledge discovery and data mining
- human computer interaction
- model checking
- formal specification
- formal analysis
- knowledge based systems
- safety critical
- artificial intelligence
- user interface
- model checker
- doctoral consortium
- short papers
- program committee
- accepted papers
- process algebra
- software engineering
- exchange ideas
- keynote address
- keynote speakers
- selected papers
- learning systems
- security properties
- invited talk
- conference proceedings
- double blind
- development lifecycle
- digital entertainment
- data mining