Вы здесь

Главная

Giannakopoulou D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Learning Assumptions for Compositional Verification 2003 Cobleigh J. M., Giannakopoulou D., Pasareanu C. S. Lecture Notes in Computer Science 17.04.2003
СТ Verification of Liveness Properties Using Compositional Reachability Analysis 1997 Cheung S. C., Giannakopoulou D., Kramer J. Lecture Notes in Computer Science 07.10.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Verified Software: Theories, Tools and Experiments: Revised Selected Papers/6th International Conference, VSTTE 2014, Vienna, Austria, July 2014 2014 Lecture Notes in Computer Science
  1. Giannakopoulou D.
  2. Kroening D.
 18.11.2014
СБ Software Engineering and Formal Methods: Proc./12th International Conference, SEFM 2014, Grenoble, France, September 2014 2014 Lecture Notes in Computer Science
  1. Giannakopoulou D.
  2. Salaun G.
 30.08.2014
СБ FM 2012: Formal Methods: Proc./18th International Symposium, Paris, France, August 2012 2012 Lecture Notes in Computer Science
  1. Giannakopoulou D.
  2. Mery D.
 03.09.2012
СБ Foundational Approaches to Software Engineering: Proc./14th International Conference, FASE 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011 2011 Lecture Notes in Computer Science
  1. Giannakopoulou D.
  2. Orejas F.
 14.05.2011