Verification of Real-Time Probabilistic Systems

First Author: Kwiatkowska M
Attributed to:  Automated quantitative software verification with PRISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1002/9780470611012.ch8

Publication URI: http://dx.doi.org/10.1002/9780470611012.ch8

Type: Book Chapter

Book Title: Modeling and Verification of Real-Time Systems - Formalisms and Software Tools (2008)

Page Reference: 249-288