Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023.
Published in: FMDT@FM (2023)
Keyphrases
- formal methods
- international symposium
- revised papers
- ambient intelligence
- computational intelligence
- formal analysis
- artificial intelligence
- lecture notes
- computer science
- knowledge based systems
- safety critical
- software engineering
- model checking
- formal specification
- databases
- modeling language
- carefully reviewed and selected from submissions
- selected papers
- mobile devices
- acm sigkdd