A Simple Approach for Timed System Testing

Type
Publication
Formal Approaches to Testing of Software (FATES01), A Satellite Workshop of CONCUR01