Black-box conformance testing for real-time systems (0)

by M Krichen, S Tripakis
Venue:In 11th International SPIN Workshop on Model Checking of Software (SPIN’04), volume 2989 of LNCS