Exploring the effects of environmental conditions and design choices on IoT systems using formal methods.
Matt WebsterMichael BrezaClare DixonMichael FisherJulie A. McCannPublished in: J. Comput. Sci. (2020)
Keyphrases
- formal methods
- environmental conditions
- design choices
- safety critical
- management system
- formal analysis
- knowledge based systems
- formal specification
- model checking
- dynamic environments
- environmental variables
- reactive systems
- design space
- support systems
- software engineering
- trade off
- relational databases
- databases
- database