C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Software Tools for Safety-Critical Systems According to DO-254.
Andrew J. Kornecki
Brian Butka
Janusz Zalewski
Published in:
Computer (2008)
Keyphrases
</>
software tools
safety critical
formal methods
safety analysis
embedded systems
nuclear power plant
fault tolerant
agent architecture
support systems
management system
adaptive systems
decision making
ambient intelligence
software components