Generation of optimal finite test suites for timed systems

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

DOI: 10.1109/TASE.2007.29 GOOGLE SCHOLAR