Safety-Critical Software: a Research Agenda.

Alfs T. Berztiss

Published in: Int. J. Softw. Eng. Knowl. Eng. (1994)

Keyphrases

safety critical
formal methods
fault tolerant
embedded systems
safety analysis
agent architecture
nuclear power plant
support systems
adaptive systems
software intensive systems
real time
software systems
model checking
artificial intelligence
user interface