TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Rodríguez Laguna, Ismael
PY  - 2006
DO  - 10.1007/11888116_27
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/50040
T2  - Lecture Notes in Computer Science
AB  - In this paper we introduce a timed extension of the extended finite state machines model. On the one hand, we consider that output actions take time to be performed. This time may depend on several factors such as the value of variables. On the other...
LA  - eng
M2  - 372
PB  - Springer Verlag
KW  - Automata
TI  - Extending EFSMs to specify and test timed systems with action durations and timeouts
TY  - journal article
VL  - 4229
ER  -