Login / Signup
An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis.
Stefano Dalpez
Roberto Passerone
Daniela Cancila
François Terrier
Published in:
ISORC Workshops (2010)
Keyphrases
</>
safety analysis
safety critical
nuclear power plant
control system
management system
real time
cooperative
software architecture
fault model
artificial intelligence
decision making
symbolic model checking
expert systems