Вы здесь

Главная

Johnsen E. B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Combining Graphical and Formal Development of Open Distributed Systems 2002 Johnsen E. B., Zhang W., Owe O., Aredo D. B. Lecture Notes in Computer Science 21.06.2002
СТ Object-Oriented Specification and Open Distributed Systems 2004 Johnsen E. B., Owe O. Lecture Notes in Computer Science 27.04.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014 2014 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Damiani F.
  3. Hahnle R.
  4. Johnsen E. B.
 29.08.2014
СБ Formal Methods for Multicore Programming: Advanced Lectures/15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 2015 2015 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Johnsen E. B.
 22.07.2015
СБ Formal Methods for Open Object-Based Distributed Systems: Proc./9th IFIP WG 6.1 International Conference FMOODS 2007. Paphos, Cyprus, June 2007 2007 Lecture Notes in Computer Science
  1. Bonsangue M. M.
  2. Johnsen E. B.
 26.06.2007
СБ Integrated Formal Methods: Proc./10th International Conference, IFM 2013, Turku, Finland, June 2013 2013 Lecture Notes in Computer Science
  1. Johnsen E. B.
  2. Petre L.
 26.08.2013
СБ Software Engineering and Formal Methods: Proc./16th International Conference, SEFM 2018 Held as Part of STAF 2018, Toulouse, France, June 2018 2018 Lecture Notes in Computer Science
  1. Johnsen E. B.
  2. Schaefer I.
 21.06.2018
СБ Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 2016 Lecture Notes in Computer Science
  1. Abraham E.
  2. Bonsangue M.
  3. Johnsen E. B.
 29.04.2016