Quantitative Model Checking of Systems with Degradation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiri Barnat, Ivana CernÃ¡, Jana Tumova. Quantitative Model Checking of Systems with Degradation. In QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009. pages 21-30, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Jiri Barnat' in GoogleThis author has not been identified. Look up 'Ivana CernÃ¡' in GoogleThis author has not been identified. Look up 'Jana Tumova' in Google

runs on WebDSL