Performance analysis of probabilistic timed automata using digital clocks

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages105-120
Number of pages16
Publication statusPublished - 1 Jan 2004
EventFormal Modeling and Analysis of Timed Systems (FORMATS'03) -
Duration: 1 Jan 2004 → …

Conference

ConferenceFormal Modeling and Analysis of Timed Systems (FORMATS'03)
Period1/01/04 → …