Quantitative timing analysis of UML activity diagrams using statistical model checking.

Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Groe, Rolf Drechsler

Browse the full DATE paper archive.