Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017).
Patricia DerlerKlaus SchneiderJean-Pierre TalpinPublished in: ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
- special issue
- formal methods
- ai edam
- ecml pkdd
- knowledge based systems
- applied intelligence
- reactive systems
- international journal
- special section
- formal analysis
- case study
- safety critical
- formal specification
- development lifecycle
- process algebra
- artificial intelligence
- databases
- database
- metamodel
- black box
- design patterns
- model checking
- design process
- relational databases