Assessment of Safety-Critical Specifications.

Lloyd G. Williams

Published in: IEEE Softw. (1994)

Keyphrases

safety critical
formal methods
fault tolerant
embedded systems
safety analysis
nuclear power plant
agent architecture
formal specification
model checker
support systems
adaptive systems
regulatory requirements
real time
cooperative
low cost
learning process
high level