Applicability of SIGNAL in safety critical system development.

Irina M. Smarandache Nimal Nissanke

Published in: IEE Proc. Softw. (1999)

Keyphrases

safety critical
formal methods
support systems
embedded systems
safety analysis
nuclear power plant
fault tolerant
agent architecture
software engineering
case study
medical images
decision support
object oriented
knowledge based systems
design process
development process