Generation of optimal finite test suites for timed systems

  1. Merayo, M.G.
  2. Núñez, M.
  3. Rodríguez, I.
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

DOI: 10.1109/TASE.2007.29 GOOGLE SCHOLAR