Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification.
Felix C. GärtnerPublished in: J. Univers. Comput. Sci. (1999)
Keyphrases
- fault tolerant
- formal methods
- distributed systems
- safety critical
- fault tolerance
- high assurance
- state machine
- classification systems
- support vector
- machine learning algorithms
- high availability
- classification accuracy
- reactive systems
- formal specification
- asynchronous circuits
- feature selection
- artificial intelligence
- management system
- digital libraries
- model checking
- knowledge based systems
- support systems
- support vector machine
- feature vectors
- specification language
- feature space
- interconnection networks
- database systems
- decision trees
- formal languages
- machine learning