Skip to content

Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata.

Jri Vain, Leonidas Tsiopoulos, Gert Kanter

VenueCMEDI
Year2021
ProceedingsMEDI

Browse the full MEDI paper archive.