Guest editorial: special issue on formal methods in control.
Necmiye OzayPaulo TabuadaPublished in: Discret. Event Dyn. Syst. (2017)
Keyphrases
- special issue
- formal methods
- international journal
- ai edam
- applied intelligence
- artificial intelligence
- ecml pkdd
- formal analysis
- process algebra
- model checking
- knowledge based systems
- safety critical
- software engineering
- control system
- formal specification
- special section
- model checker
- reactive systems
- databases
- expert systems