Constructing Models for Systems Resilience: Challenges, Concepts, and Formal Methods.
Azad M. MadniDan ErwinMichael SieversPublished in: Syst. (2020)
Keyphrases
- formal methods
- reactive systems
- safety critical
- abstraction levels
- formal analysis
- knowledge based systems
- complex systems
- formal specification
- software engineering
- commercial web search engines
- probabilistic model
- model checking
- artificial intelligence
- conceptual models
- biological systems
- knowledge management
- computational models
- fault tolerant
- trading systems
- model checker
- database systems
- knowledge base
- machine learning
- ubiquitous and pervasive