Language choice for safety critical applications.

James S. Rogers

Published in: SIGAda (2011)

Keyphrases

safety critical
formal methods
fault tolerant
agent architecture
embedded systems
safety analysis
nuclear power plant
natural language
regulatory requirements
programming language
databases
information systems
expert systems
adaptive systems
cooperative
specification language