TY  - JOUR

T1  - Testing timed systems modeled by Stream X-machines

JO  - Software & Systems Modeling

PY  - 2011/01/01

AU  - Merayo MG

AU  - Núñez M

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1007/s10270-009-0126-3

PB  - Springer Science and Business Media LLC

VL  - 10

IS  - 2

SP  - 201

EP  - 217

Y2  - 2024/10/23

ER  -