Related content

Model checking for probabilistic timed automata

By Norman Gethin   Parker David   Sproston Jeremy  

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 164-190

Springer Publishing Company

Access to resources Recommend Favorite

Probabilistic symbolic model checking with PRISM: a hybrid approach

By Kwiatkowska Marta   Norman Gethin   Parker David  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 2, 2004-08 ,pp. : 128-142

Springer Publishing Company

Access to resources Recommend Favorite

Preface to the special issue on Probabilistic Model Checking

By Baier Christel   Kwiatkowska Marta  

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 121-123

Springer Publishing Company

Access to resources Recommend Favorite

On simulation-based probabilistic model checking of mixed-analog circuits

By Clarke Edmund   Donzé Alexandre   Legay Axel  

Formal Methods in System Design, Vol. 36, Iss. 2, 2010-06 ,pp. : 97-113

Springer Publishing Company

Access to resources Recommend Favorite

A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking

By  

International Journal of Software Innovation (IJSI), Vol. 3, Iss. 2, 2015-04 ,pp. : 24-38

IGI Global_journal

Access to resources Recommend Favorite