DMCA

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

by Moez Krichen , Stavros Tripakis
Venue:In 11th International SPIN Workshop on Model Checking of Software (SPIN’04), volume 2989 of LNCS
Citations:73 - 11 self