Login / Signup
Managing analytical complexity of safety critical systems using viewpoints.
John Alexander McDermid
Andrew J. Vickers
Stephen P. Wilson
Published in:
ISAW/Viewpoints@FSE (1996)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
embedded systems
knowledge acquisition
agent architecture
nuclear power plant
decision making
user interface
management system
low cost
distributed systems
intelligent systems
adaptive systems