Login / Signup
The xSAP Safety Analysis Platform.
Benjamin Bittner
Marco Bozzano
Roberto Cavada
Alessandro Cimatti
Marco Gario
Alberto Griggio
Cristian Mattarei
Andrea Micheli
Gianni Zampedri
Published in:
CoRR (2015)
Keyphrases
</>
safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
real time
fuzzy logic
neural network
decision making
model checking
reliability analysis
information systems
decision problems
embedded systems
formal methods