Title of article
Statistical probabilistic model checking with a focus on time-bounded properties
Author/Authors
H?kan L.S. Younes، نويسنده , , Reid G. Simmons، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
42
From page
1368
To page
1409
Keywords
stochastic processes , Transient analysis , hypothesis testing , Temporal Logic , Probabilistic verification , Acceptance sampling
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262368
Link To Document