Login / Signup
Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment.
Omar Kacimi
Christian Ellen
Markus Oertel
Daniel Sojka
Published in:
MODELSWARD (2014)
Keyphrases
</>
development environment
safety analysis
development environments
application development
development process
safety critical
user interface
data processing
artificial intelligence
case study
nuclear power plant
symbolic model checking
real time
database server
fault model