TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Hwang, Iksoon
AU  - Núñez García, Manuel
AU  - Cavalli, Ana
PY  - 2009
DO  - 10.1007/978-3-642-10373-5_10
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/49989
T2  - Formal methods and software engineering proceedings
AB  - In this paper we introduce a formal framework to test systems where non-deterministic decisions are probabilistically quantified and temporal information is defined by using random variables. We define an appropriate extension of the classical finite...
LA  - eng
M2  - 186
PB  - SPRINGER-VERLAG BERLIN
KW  - Finite-state machines
KW  - Interval estimation
KW  - Algebraic-theory
KW  - Test selection
KW  - Model
KW  - Time
KW  - Computer Science
KW  - Theory & Methods
TI  - A Statistical Approach to Test Stochastic and Probabilistic Systems
TY  - journal article
VL  - 5885
ER  -