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