Quantitative Timing Analysis of UML Activity Diagrams Using Statistical Model Checking

@inproceedings{pub10239,
    author = {

Gu, Fan
 and 

Zhang, Xinqian
 and 

Chen, Mingsong
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Quantitative Timing Analysis of UML Activity Diagrams Using Statistical Model Checking},
    booktitle = {Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2016), March 14-18, Dresden, Germany},
    year = {2016},
    pages = {780--785}
}