Perspectives on Safety-Critical Software.

Praful V. Bhansali

Published in: Australian Software Engineering Conference (1997)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
fault tolerant
nuclear power plant
agent architecture
support systems
adaptive systems
regulatory requirements
software systems
software intensive systems
knowledge base
knowledge representation
knowledge based systems