Up a level |
Number of items: 1.
Zhao, Xingyu ORCID: 0000-0002-3474-349X, Calinescu, Radu, Gerasimou, Simos, Robu, Valentin and Flynn, David
(2020)
Interval Change-Point Detection for Runtime Probabilistic Model Checking.
In: ASE '20: 35th IEEE/ACM International Conference on Automated Software Engineering.