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
Keywords :
stochastic processes , Transient analysis , hypothesis testing , Temporal Logic , Probabilistic verification , Acceptance sampling
Journal title :
Information and Computation
Journal title :
Information and Computation
