Browse by Person

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Proceedings Paper

Zhao, Xingyu, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (2 more authors) (2020) Interval Change-Point Detection for Runtime Probabilistic Model Checking. In: 35th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. .

This list was generated on Sat Mar 27 17:43:00 2021 GMT.