UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Dr Gethin Norman' ordered by Year. (3)

2010

2010

Probabilistic Model Checking for Systems Biology
Kwiatkowska,M. Norman,G. Parker,D. Symbolic Systems Biology
[More Details].

Assume-Guarantee Verification for Probabilistic Systems
Kwiatkowska,M. Norman,G. Parker,D. Qu,H. Proc. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10) [More Details].

Practical Applications of Probabilistic Model Checking to Communication Protocols
Duflot,M. Kwiatkowska,M. Norman,G. Parker,D. Peyronnet,S. Picaronny,C. Sproston,J. S. Gnesi and T. Margaria (editors) FMICS Handbook on Industrial Critical Systems, IEEE Computer Society Press [More Details].