Login / Signup
A visual interactive environment for enhancing collaboration between engineers for the safety analysis mechanisms in embedded systems.
Ragaad AlTarawneh
Jens Bauer
Achim Ebert
Published in:
CSCW Companion (2014)
Keyphrases
</>
embedded systems
safety critical
safety analysis
low cost
nuclear power plant
embedded devices
real time
embedded software
software systems
control system
computational intelligence
model checking
formal methods
high level
open source
support systems
symbolic model checking