Debugging of Dependability Models Using Interactive Visualization of Counterexamples - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Husain Aljazzar' in GoogleThis author has not been identified. Look up 'Stefan Leue' in Google

runs on WebDSL