Not registered as user yet

Name: Sebastian Reidar Petersen

Country: Denmark

Affiliation: Aalborg University

Contributions

A-MOST 2020Author of Conformance Testing in UPPAAL: A diabolic approach within the A-MOST-track