Formal Techniques for Safety-Critical Systems (FTSCS 2018).
Cyrille ArthoPeter Csaba ÖlveczkyPublished in: Sci. Comput. Program. (2021)
Keyphrases
- safety critical
- formal methods
- nuclear power plant
- safety analysis
- agent architecture
- fault tolerant
- learning systems
- knowledge based systems
- formal specification
- support systems
- expert systems
- peer to peer
- knowledge base
- embedded systems
- distributed systems
- management system
- adaptive systems
- multi agent systems
- cooperative