Preface to the special issue on Probabilistic Model Checking

Author： Baier Christel   Kwiatkowska Marta  

Publisher： Springer Publishing Company

ISSN： 0925-9856

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

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

Numerical vs. statistical probabilistic model checking

By Younes Håkan   Kwiatkowska Marta   Norman Gethin   Parker David  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 216-228

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 PKI

By Dawson E.  

International Journal of Information Security (IJIS), Vol. 2, Iss. 2, 2004-01 ,pp. : 65-65

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