Login / Signup
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