C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Software Development for Real-Time Safety-Critical Applications.
Andrew J. Kornecki
Janusz Zalewski
Published in:
SEW Tutorial Notes (2005)
Keyphrases
</>
safety critical
software development
real time
formal methods
fault tolerant
embedded systems
agent architecture
safety analysis
nuclear power plant
support systems
software engineering
regulatory requirements
low cost
software architecture
adaptive systems
control system
intelligent agents
decision support