Time-optimal real-time test case generation using Uppaal. (0)

by Anders Hessel, Kim G Larsen, Brian Nielson, Paul Pettersson, Arne Skou
Venue:In FATES2003,