Qualitative and quantitative analysis of safety-critical systems with s#.
Johannes LeupolzAlexander KnappAxel HabermaierWolfgang ReifPublished in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
- safety critical
- formal methods
- qualitative and quantitative analysis
- nuclear power plant
- fault tolerant
- safety analysis
- embedded systems
- agent architecture
- expert systems
- quantitative analysis
- support systems
- regulatory requirements
- adaptive systems
- management system
- learning systems
- intelligent systems
- decision making
- machine learning
- data mining