论文信息 - An Approach of Model Checking Time or Space Performance: An Approach of Model Checking Time or Space Performance - 字舞流文

An Approach of Model Checking Time or Space Performance: An Approach of Model Checking Time or Space Performance

Guo-Sun Zeng | Wei Wang | Jun Niu

[1] Kishor S. Trivedi,et al. On the Solution of GSPN Reward Models , 1991, Perform. Evaluation.

[2] Andrea Bondavalli,et al. Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability , 2001, IEEE Trans. Computers.

[3] Christel Baier,et al. Model Checking Markov Chains with Actions and State Labels , 2007, IEEE Transactions on Software Engineering.

[4] Christel Baier,et al. Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes , 2005, Theor. Comput. Sci..

[5] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..