Verification of real-time probabilistic systems

Kwiatkowska, M., Norman, G. , Parker, D. and Sproston, J. (2008) Verification of real-time probabilistic systems. In: Merz, S. and Navet, N. (eds.) Modeling and Verification of Real-Time Systems: Formalisms and Software Tools. John Wiley & Sons Ltd., pp. 249-288. ISBN 9781848210134

Full text not currently available from Enlighten.


Item Type:Book Sections
Status:Published
Glasgow Author(s) Enlighten ID:Norman, Dr Gethin
Authors: Kwiatkowska, M., Norman, G., Parker, D., and Sproston, J.
Subjects:Q Science > QA Mathematics > QA76 Computer software
College/School:College of Science and Engineering > School of Computing Science
Publisher:John Wiley & Sons Ltd.
ISBN:9781848210134
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record