Вы здесь

Главная

Edelkamp S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Error Detection with Directed Symbolic Model Checking 1999 Reffel F., Edelkamp S. Lecture Notes in Computer Science 30.10.1999
СТ Directed Explicit Model Checking with HSF-SPIN 2001 Edelkamp S., Lafuente A. L., Leue S. Lecture Notes in Computer Science 14.06.2001
СТ Partial Order Reduction in Directed Model Checking 2002 Lluch-Lafuente A., Edelkamp S., Leue S. Lecture Notes in Computer Science 01.05.2002
СТ Promela Planning 2003 Edelkamp S. Lecture Notes in Computer Science 29.05.2003
СТ Memory Limitations in Artificial Intelligence 2003 Edelkamp S. Lecture Notes in Computer Science 09.05.2003
СТ Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM 2004 Leven P., Mehler T., Edelkamp S. Lecture Notes in Computer Science 29.04.2004
СТ Large-Scale Model Checking LTL 2006 Edelkamp S., Jabbar Sh. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.05.2006

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Model Checking Software: Proc./14th International SPIN Workshop. Berlin, Germany, July 2007 2007 Lecture Notes in Computer Science
  1. Bosnacki D.
  2. Edelkamp S.
 26.06.2007
СБ Model Checking and Artificial Intelligence: Revised Selected and Invited Papers/4th Workshop, MoChArt IV. Riva del Garda, Italy, August 2006 2007 Lecture Notes in Artificial Intelligence
  1. Edelkamp S.
  2. Lomuscio A.
 19.10.2007
СБ KI 2011: Advances in Artificial Intelligence: Proc./34th Annual German Conference on AI, Berlin, Germany, October 2011 2011 Lecture Notes in Artificial Intelligence
  1. Bach J.
  2. Edelkamp S.
 24.01.2012
СБ KI 2021: Advances in Artificial Intelligence: Proc./44th German Conference on AI, Virtual Event, September 2021 2021 Lecture Notes in Artificial Intelligence
  1. Edelkamp S.
  2. Moller R.
  3. Rueckert E.
 21011 11.11.2021