NEXTA 2020
Sat 24 Oct 2020
Porto, Portugal
co-located with
ICST 2020
Toggle navigation
Attending
Venue: Alfândega Porto Congress Centre
ICST 2020
Registration
Getting to Porto
Travel Discounts
Accommodation
Student Volunteers
Equity, Diversity and Inclusion Plan
Code of Conduct
Health Information
ICST has been postponed!
ICST 2020 Going Hybrid
Program
NEXTA Program
Your Program
Sat 24 Oct
Track/Call
Organization
NEXTA 2020 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
NEXTA 2025
NEXTA 2024
NEXTA 2023
NEXTA 2022
NEXTA 2021
NEXTA 2020
Sign in
Sign up
ICST 2020
(
series
) /
NEXTA 2020 (
series
) /
Sebastian Reidar Petersen
ICST 2020 profile
conf.research.org general profile
Not registered as user yet
Name:
Sebastian Reidar Petersen
Country:
Denmark
Affiliation:
Aalborg University
Contributions
2020
A-MOST
Conformance Testing in UPPAAL: A diabolic approach
Show activities from other conferences
Share
ICST 2020-profile
View general profile
x
Wed 27 Nov 04:25