Certification of Safety-Critical Systems.

Nancy G. Leveson John P. Thomas

Published in: Commun. ACM (2023)

Keyphrases

safety critical
formal methods
fault tolerant
nuclear power plant
safety analysis
embedded systems
support systems
databases
machine learning
management system
decision support system
regulatory requirements
information systems
software intensive systems