DMCA

Time-optimal Real-Time Test Case Generation using UPPAAL (2003)

by Anders Hessel , Kim G. Larsen , Brian Nielsen , Paul Pettersson , Arne Skou
Venue:In FATES’03
Citations:38 - 17 self