Guest Editorial: Special Issue on Formal Methods and Models for System Design.
Elizabeth LeonardPublished in: ACM Trans. Embed. Comput. Syst. (2018)
Keyphrases
- special issue
- formal methods
- ai edam
- ecml pkdd
- applied intelligence
- international journal
- reactive systems
- artificial intelligence
- development lifecycle
- formal specification language
- knowledge based systems
- case study
- special section
- model checking
- knowledge discovery in databases
- modeling language
- formal analysis
- formal verification
- metamodel
- black box
- software systems
- design process