DMCA

An Expressive and Implementable Formal Framework for Testing Real-Time Systems (2005)

by Moez Krichen , Stavros Tripakis
Venue:17th IFIP Intl. TestCom'05
Citations:11 - 1 self