21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023

Published in: MEMOCODE (2023)

Keyphrases

formal methods
international symposium
reactive systems
knowledge based systems
design process
safety critical
artificial intelligence
computational intelligence
information systems
case study
software engineering
lecture notes
metamodel
modeling language
development lifecycle