TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Hierons, Robert M.
PY  - 2011
DO  - 10.1007/s10270-009-0126-3
SN  - 1619-1366
UR  - https://hdl.handle.net/20.500.14352/42187
T2  - Software and Systems Modeling
AB  - Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this paper we...
LA  - eng
M2  - 201
PB  - Springer Verlag
KW  - Formal testing
KW  - Timed systems
KW  - Stream X-machines
TI  - Testing timed systems modeled by Stream X-machines.
TY  - journal article
VL  - 10
ER  -