A test generation framework for quiescent real-time systems (0)

by L Briones, E Brinksma
Venue:in: IN FATES 04, Springer-Verlag GmbH, 2004