Вы здесь

Главная

Ter Beek M. H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Teams of Pushdown Automata 2003 Ter Beek M. H., Csuhaj-Varju E., Mitrana V. Lecture Notes in Computer Science 18.02.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods for Industrial Critical Systems: Proc./25th International Conference, FMICS 2020, Vienna, Austria, September 2020 2020 Lecture Notes in Computer Science
  1. Ter Beek M. H.
  2. Nickovic D.
 21031 17.09.2020
СБ Formal Methods - The Next 30 Years: Proc./3rd World Congress, FM 2019, Porto, Portugal, October 2019 2019 Lecture Notes in Computer Science
  1. Ter Beek M. H.
  2. McIver A.
  3. Oliveira J. N.
 17.10.2019
СБ From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th Birthday 2019 Lecture Notes in Computer Science
  1. Ter Beek M. H.
  2. Fantechi A.
  3. Semini L.
 17.10.2019
СБ Critical Systems: Formal Methods and Automated Verification: Proc./Joint 21st IW on Formal Methods for Industrial Critical Systems and 16th IW on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 2016 2016 Lecture Notes in Computer Science
  1. Ter Beek M. H.
  2. Gnesi S.
  3. Knapp A.
 26.10.2016
СБ Web Services and Formal Methods: Revised Selected Papers/9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 2012 2013 Lecture Notes in Computer Science
  1. Ter Beek M. H.
  2. Lohmann N.
 11.06.2013