TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Rodríguez Laguna, Ismael
PY  - 2008
DO  - 10.1016/j.comnet.2007.10.002
SN  - 1389-1286
UR  - https://hdl.handle.net/20.500.14352/50018
T2  - Computer Networks
AB  - In this paper we present a formal methodology to test both the functional and temporal behaviors in systems wheretemporal aspects are critical. We extend the classical finite state machines model with features to represent timed systems. Our formalism...
LA  - eng
M2  - 432
PB  - Elsevier
KW  - Conformance testing
KW  - Formal methods
KW  - Timed systems
KW  - Systems
KW  - Automata
TI  - Formal testing from timed finite state machines
TY  - journal article
VL  - 52
ER  -