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.1109/TC.2008.15
SN  - 0018-9340
UR  - https://hdl.handle.net/20.500.14352/50016
T2  - IEEE Transactions on Computers
AB  - In this paper, we introduce a timed extension of the extended finite state machines model. On 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  - 835
PB  - Institute of Electrical and Electronics Engineers
KW  - Testing and debugging
KW  - Formal methods
KW  - Specification techniques
KW  - Specifying and verifying and reasoning about programs
KW  - Automata
KW  - Computer Science
KW  - Hardware & Architecture
KW  - Engineering
KW  - Electrical & Electronic
TI  - Extending EFSMs to specify and test timed systems with action duration and time-outs
TY  - journal article
VL  - 57
ER  -