Buch, Englisch, 482 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 744 g
30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings
Buch, Englisch, 482 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 744 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-642-24269-4
Verlag: Springer
The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.
Zielgruppe
Research