TY  - JOUR

T1  - Testing Real-Time Embedded Systems using Timed Automata based approaches

JO  - Journal of Systems and Software

PY  - 2013/01/01

AU  - AbouTrab MS

AU  - Brockway M

AU  - Counsell S

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1016/j.jss.2012.12.030

PB  - Elsevier BV

VL  - 86

IS  - 5

SP  - 1209

EP  - 1223

Y2  - 2024/12/21

ER  -