Login / Signup
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.
Ran Wei
Simon Foster
Haitao Mei
Fang Yan
Ruizhe Yang
Ibrahim Habli
Colin O'Halloran
Nick Tudor
Tim Kelly
Yakoub Nemouchi
Published in:
J. Syst. Softw. (2024)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
agent architecture
nuclear power plant
embedded systems
management system
software engineering
real time
low cost
intelligent systems
support systems
software intensive systems
regulatory requirements