Jump to Content

Numerical vs. statistical probabilistic model checking

Marta Kwiatkowska
Gethin Norman
David Parker
International Journal on Software Tools for Technology Transfer, vol. 8 (2006), pp. 216-228

Abstract

Research Areas