Automatic SpecificationBased Testing of Real-Time (1997)

by D CLARKE, I LEE
Venue:Properties, Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, IEEE