Generation of optimal finite test suites for timed systems
Proceedings:
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
ISBN: 9780769528564
Year of publication: 2007
Pages: 149-158
Type: Conference paper