Generation of optimal finite test suites for timed systems
- Merayo, Mercedes G.
- Nunez, Manuel
- Rodriguez, Ismael
ISBN: 978-0-7695-2856-4
Any de publicació: 2007
Pàgines: 149-150
Congrés: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering
Tipus: Aportació congrés