Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study

Fevzi Belli, Axel Hollmann, Nimal Nissanke. Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. In Francesca Saglietti, Norbert Oster, editors, Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Volume 4680 of Lecture Notes in Computer Science, pages 276-282, Springer, 2007. [doi]

Abstract

Abstract is missing.