![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 8666 || Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements
Bondavalli, Andrea, Di Giandomenico, FelicitaVolume:
10.1007/97
Year:
2014
Language:
english
DOI:
10.1007/978-3-319-10506-2_19
File:
PDF, 568 KB
english, 2014