Debugging of Dependability Models Using Interactive Visualization of Counterexamples

Husain Aljazzar, Stefan Leue. Debugging of Dependability Models Using Interactive Visualization of Counterexamples. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France. pages 189-198, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.