Online testing of real-time systems using uppaal (0)

by K G Larsen, M Mikucionis, B Nielsen
Venue:In Formal Approaches to Testing of Software