C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Real-time safety-critical systems: analysis and synthesis.
Alan Burns
John Alexander McDermid
Published in:
Softw. Eng. J. (1994)
Keyphrases
</>
safety critical
safety analysis
real time
fault tolerant
nuclear power plant
embedded systems
formal methods
support systems
agent architecture
management system
intelligent systems
regulatory requirements
software systems
decision support system
data model
learning process
e learning