Вы здесь

Главная

Knapp A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Interactive Verification of UML State Machines 2004 Balser M., Baeumler S., Knapp A., Reif W., Thums A. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005
СТ View Consistency in Software Development 2004 Wirsing M., Knapp A. Lecture Notes in Computer Science 28.04.2004
СТ A Formal Semantics for OCL 1.4 2001 Cengarle M. V., Knapp A. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.10.2001
СТ A Formal Semantics for UML Interactions 1999 Knapp A. Lecture Notes in Computer Science 05.11.1999
СТ An Event-Based Structural Operational Semantics of Multi-Threaded Java 1999 Cenciarelli P., Knapp A., Reus B., Wirsing M. Lecture Notes in Computer Science 03.07.1999
СТ Verifying a Compiler Optimization for Multi-Threaded Java 1998 Reus B., Knapp A., Cenciarelli P., Wirsing M. Lecture Notes in Computer Science 07.05.1998
СТ From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics 1997 Cenciarelli P., Knapp A., Reus B., Wirsing M. 9th Nordic Workshop on Programming Theory 15.04.1998

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ 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
СБ Radical Innovations of Software and Systems Engineering in the Future: Proc./9th Intern. Workshop, RISSEF 2002, Venice, Italy, October 2002 2004 Lecture Notes in Computer Science
  1. Wirsing M.
  2. Knapp A.
  3. Balsamo S.
 27.04.2004