Formal Techniques for Safety-Critical Systems (FTSCS 2014).

Cyrille Artho Peter Csaba Ölveczky

Published in: Sci. Comput. Program. (2017)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
agent architecture
embedded systems
open source
intelligent systems
machine learning
support systems
distributed systems
software engineering
data mining
model checking
knowledge based systems
management system
artificial intelligence
nuclear power plant