Login / Signup
Enhanced CakES representing Safety Analysis results of Embedded Systems.
Yasmin I. Al-Zokari
Daniel Schneider
Dirk Zeckzer
Liliana Guzmán
Yarden Livnat
Hans Hagen
Published in:
FedCSIS (2011)
Keyphrases
</>
embedded systems
safety critical
safety analysis
nuclear power plant
low cost
embedded devices
computing power
embedded software
resource limited
software systems
field programmable gate array
formal methods
artificial intelligence
symbolic model checking
source code
fault model
data structure