Symbolic model checking for probabilistic timed automata

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages293-308
Number of pages16
Publication statusPublished - 1 Jan 2004
EventJoint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems ( FTRTFT) -
Duration: 1 Jan 2004 → …

Conference

ConferenceJoint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems ( FTRTFT)
Period1/01/04 → …