Quantitative timing analysis of UML activity diagrams using statistical model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Große, Rolf Drechsler. Quantitative timing analysis of UML activity diagrams using statistical model checking. In Luca Fanucci, Jürgen Teich, editors, 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016. pages 780-785, IEEE, 2016. [doi]

This author has not been identified. Look up 'Fan Gu' in GoogleThis author has not been identified. Look up 'Xinqian Zhang' in GoogleThis author has not been identified. Look up 'Mingsong Chen' in GoogleThis author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL