Numerical vs. statistical probabilistic model checking: An empirical study

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages46-60
Number of pages15
Publication statusPublished - 1 Jan 2004
Event10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 02, 2004. Barcelona, Spain -
Duration: 1 Jan 2004 → …

Conference

Conference10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 02, 2004. Barcelona, Spain
Period1/01/04 → …

Keywords

  • TACAS'04