TY  - JOUR

T1  - Testing from a stochastic timed system with a fault model

JO  - The Journal of Logic and Algebraic Programming

PY  - 2009/01/01

AU  - Hierons RM

AU  - Merayo MG

AU  - Núñez M

ED  - 

DO  - DOI: 10.1016/j.jlap.2008.06.001

PB  - Elsevier BV

VL  - 78

IS  - 2

SP  - 98

EP  - 115

Y2  - 2024/10/23

ER  -