Login / Signup

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

Cyrille ArthoPeter 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