Skip to content

An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON.

Carsten Rtz, Julien Schmaltz

VenueAICST
Year2011
ProceedingsICST Workshops

Browse the full ICST paper archive.