conf.researchr.org / Sebastian Reidar Petersen
Not registered as user yet
Name:Sebastian Reidar Petersen
Country:Denmark
Affiliation:Aalborg University
Contributions
| A-MOST 2020 | Author of Conformance Testing in UPPAAL: A diabolic approach within the A-MOST-track |