Generation of optimal finite test suites for timed systems

  1. Merayo, Mercedes G.
  2. Nunez, Manuel
  3. Rodriguez, Ismael
Liburua:
TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS

ISBN: 978-0-7695-2856-4

Argitalpen urtea: 2007

Orrialdeak: 149-150

Biltzarra: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: WoS