C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments.
Xiaocheng Ge
Richard F. Paige
John Alexander McDermid
Published in:
AGILE (2010)
Keyphrases
</>
safety critical
safety analysis
formal methods
fault tolerant
embedded systems
agent architecture
nuclear power plant
support systems
regulatory requirements
adaptive systems
real time
software engineering
cooperative
knowledge based systems
distributed systems
open source
e learning
software intensive systems