Using Formal Methods to Guide the Development of an Asthma Management System.

Juan Carlos Augusto Mario José Quinde Nawaz Khan

Published in: DESSERT (2019)

Keyphrases

formal methods
management system
safety critical
knowledge based systems
software engineering
development lifecycle
artificial intelligence
formal analysis
development process
decision support system
formal specification
databases
knowledge representation
model checker
process algebra