Formal Techniques for Safety-Critical Systems (FTSCS 2016).
Cyrille ArthoPeter Csaba ÖlveczkyPublished in: Sci. Comput. Program. (2019)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- intelligent systems
- artificial intelligence
- fault tolerant
- knowledge based systems
- agent architecture
- expert systems
- nuclear power plant
- learning systems
- software engineering
- management system
- support systems
- user interface
- real time
- regulatory requirements