Validation of Real-Time Object-Oriented Applications.

Sebastien Gerard Validation of Real-Time Object-Oriented Applications. 14-15 1998 conf/ecoopw/1998 ECOOP Workshops db/conf/ecoopw/ecoopw98.html#Gerard98