Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015).
Márcio CornélioA. W. RoscoePublished in: Sci. Comput. Program. (2019)
Keyphrases
- formal methods
- special issue
- artificial intelligence
- formal analysis
- ai edam
- international journal
- applied intelligence
- knowledge based systems
- computer science
- ecml pkdd
- model checker
- software engineering
- formal specification
- safety critical
- model checking
- reactive systems
- process algebra
- selected papers
- invited talk
- special section
- development lifecycle
- formal specification language
- intelligent systems
- computational intelligence
- case study
- modeling language
- expert systems
- knowledge base
- databases
- database