, Gerd Rabe
, Till Seyfarth
(Eds.): Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings.
Springer 2009 Lecture Notes in Computer Science
Anne Elisabeth Haxthausen
: A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.
Carlos G. Bilich
, Zaijun Hu
: Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508.
, Carlos G. Bilich
: Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB.
Verification, Validation, Test