TY  - CHAP
AU  - García Merayo, María De Las Mercedes
AU  - Andrés Sánchez, César
AU  - Núñez García, Manuel
PY  - 2009
DO  - 10.1109/ICSTW.2009.34
SN  - 978-0-7695-3671-2
UR  - https://hdl.handle.net/20.500.14352/45319
AB  - In this paper we extend our previous work on passivetesting of timed systems to establish a formal criterion to determine correctness of an implementation under test. In our framework, an invariant expresses the fact that if the implementation under...
LA  - eng
PB  - IEEE Comp Soc
KW  - Finite-state machines
TI  - Formal correctness of a passive testing approach for timed systems
TY  - book part
ER  -