ICST 2021
Mon 12 - Fri 16 April 2021
Mon 12 Apr 2021 15:00 - 15:45 at MaracaĆ­pe - Invited Tutorial Chair(s): Florian Lorber

Mon 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

15:00 - 15:45
Invited TutorialA-MOST at MaracaĆ­pe
Chair(s): Florian Lorber Aalborg University
15:00
45m
Tutorial
UPPAAL for Test Case Generation
A-MOST
Marius Mikucionis Aalborg University