The Power of 10: Rules for Developing Safety-Critical Code.

Gerard J. Holzmann

Published in: Computer (2006)

Keyphrases

safety critical
embedded systems
formal methods
fault tolerant
safety analysis
agent architecture
nuclear power plant
machine learning
artificial intelligence
support systems
adaptive systems
regulatory requirements