Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022).

Cyrille Artho Peter Csaba Ölveczky

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

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
nuclear power plant
knowledge based systems
fault tolerant
agent architecture
real time
machine learning
artificial intelligence
management system