Вы здесь

Главная

Beyer D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The BLAST Query Language for Software Verification 2004 Beyer D., Chlipala A. J., Henzinger Th. A., Jhala R., Majumdar R. Lecture Notes in Computer Science Lecture Notes in Computer Science 22.10.2004
СТ Rabbit: A Tool for BDD-Based Verification of Real-Time Systems 2003 Beyer D., Lewerentz C., Noack A. Lecture Notes in Computer Science 19.09.2003
СТ Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems 2001 Beyer D., Lewerentz C., Simon F. Lecture Notes in Computer Science 04.04.2001

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Verification, Model Checking, and Abstract Interpretation: Proc./21st International Conference, VMCAI 2020, New Orleans,LA,USA, January 2020 2020 Lecture Notes in Computer Science
  1. Beyer D.
  2. Zufferery D.
 04.03.2020
СБ Tests and Proofs: Proc./13th International Conference, TAP 2019 Held as Part of the 3rd World Congress on Formal Methods 2019, Porto, Portugal, October 2019 2019 Lecture Notes in Computer Science
  1. Beyer D.
  2. Keller Ch.
 17.10.2019
СБ Tools and Algorithms for the Construction and Analysis of Systems, Part III: Proc./25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 2019 2019 Lecture Notes in Computer Science
  1. Beyer D.
  2. Huisman M.
  3. Kordon F.
  4. Steffen B.
 25.04.2019
СБ Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./24th International Conference, TACAS 2018 Held as Part of Europea Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonoki, Greece, April 2018 2018 Lecture Notes in Computer Science
  1. Beyer D.
  2. Huisman M.
 15.05.2018
СБ Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./24th International Conference, TACAS 2018 Held as Part of the Europen Joint Conference ETAPS 2018, Thessaloniki, Greece, April 2018 2018 Lecture Notes in Computer Science
  1. Beyer D.
  2. Huisman M.
 15.05.2018
СБ Formal Techniques for Distributed Systems: Proc./Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013 Held as Part of the 8th International Federated Conference, DisCoTec 2013, Florence, Italy, June 2013 2013 Lecture Notes in Computer Science
  1. Beyer D.
  2. Boreale M.
 07.08.2013