Generation of optimal finite test suites for timed systems
Actas:
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
ISBN: 9780769528564
Año de publicación: 2007
Páginas: 149-158
Tipo: Aportación congreso