Documentation Integrity for Safety-Critical Applications: The COHERE Project.

David G. Novick Joel Juillet

Published in: SIGDOC (1998)

Keyphrases

safety critical
fault tolerant
formal methods
embedded systems
safety analysis
nuclear power plant
project management
case study
agent architecture
real time
support systems
adaptive systems
regulatory requirements
knowledge base
management system
low cost