Вы здесь

Главная

Parker D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Symmetry Reduction for Probabilistic Model Checking 2006 Kwiatkowska M., Norman G., Parker D. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ PRISM: Probabilistic Symbolic Model Checker 2002 Kwiatkowska M., Norman G., Parker D. Lecture Notes in Computer Science 29.05.2002
СТ Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach 2002 Kwiatkowska M., Norman G., Parker D. Lecture Notes in Computer Science 21.05.2002
СТ Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation 2000 De Alfaro L., Kwiatkowska M., Norman G., Parker D., Segala R. Lecture Notes in Computer Science 26.04.2000

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020 2020 Lecture Notes in Computer Science
  1. Biere A.
  2. Parker D.
 29.05.2020
СБ Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020 2020 Lecture Notes in Computer Science
  1. Biere A.
  2. Parker D.
 22.05.2020
СБ Quantitative Evaluation of Systems: Proc./16th International Conference, QEST 2019, Glasgow, UK, September 2019 2019 Lecture Notes in Computer Science
  1. Parker D.
  2. Wolf V.
 17.10.2019