Login / Signup
Efficient path conditions in dependence graphs for software safety analysis.
Gregor Snelting
Torsten Robschink
Jens Krinke
Published in:
ACM Trans. Softw. Eng. Methodol. (2006)
Keyphrases
</>
safety analysis
real time
safety critical
nuclear power plant
control system
software systems
reinforcement learning
software development
fault model