TY  - CHAP
AU  - García Merayo, María De Las Mercedes
AU  - Hierons, Robert M.
AU  - Núñez García, Manuel
A4  - Cerone, A
A4  - Gruner, S
PY  - 2008
DO  - 10.1109/SEFM.2008.15
SN  - 978-0-7695-3437-4
UR  - https://hdl.handle.net/20.500.14352/53127
AB  - Stream X-machines are a kind of extended finite state machine used to specify real systems where communication between the components is modeled by using a shared memory. In this paper we introduce an extension of the Stream X-machines formalism in...
LA  - eng
M2  - 201
PB  - IEEE Computer Soc
KW  - Finite-state machines
KW  - Timed automata
KW  - Specification
KW  - Computer Science
KW  - Software Engineering
KW  - Engineering
KW  - Electrical & Electronic
TI  - Extending Stream X-Machines to specify and test systems with timeouts
TY  - book part
ER  -