EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


16108 Diagnosis, Synthesis and Analysis of Probabilistic Models
 Home Policy Brochure Browse Search User Area Contact Help

Han, Tingting (2009) Diagnosis, Synthesis and Analysis of Probabilistic Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-149 ISBN 978-90-365-2858-0

Full text available as:

PDF
 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
3077 Kb

Official URL: http://dx.doi.org/10.3990/1.9789036528580

Exported to Metis
Item Type:PhD Thesis
Supervisors:Katoen, J.P.
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:QUPES: Verifying Quantitative Properties of Embedded Software
ID Code:16108
Deposited On:12 October 2009
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item