Designing Hypermedia Documentation for Safety Critical Applications.

Published in: ITCC (2000)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
embedded systems
agent architecture
nuclear power plant
support systems
adaptive systems
information systems
real time
decision support system
decision making