Вы здесь
Gotzhein R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Applying a Temporal Logic to the RPC-Memory Specification Problem | 1996 | Gotzhein R. | Lecture Notes in Computer Science | 24.12.1996 | |||
| СТ | On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine | 2000 | Eschbach R., Glasser U., Gotzhein R., Prinz A. | Lecture Notes in Computer Science | 27.10.2000 | |||
| СТ | Vertical Reuse in the Development of Distributed Systems with FDTs | 2003 | Gotzhein R. | Lecture Notes in Computer Science | 26.12.2003 | |||
| СТ | Towards the Harmonization of UML and SDL | 2004 | Grammes R., Gotzhein R. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 21.01.2005 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | System Analysis and Modeling: Revised Selected Papers/5th International Workshop, SAM 2006. Kaiserslautern, Germany, May/June 2006 | 2006 | Lecture Notes in Computer Science |
|
27.03.2007 | |||
| СБ | SDL 2009: Design for Motes and Mobiles: Proc./14th International SDL Forum, Bochum, Germany, September 2009 | 2009 | Lecture Notes in Computer Science |
|
24.03.2010 |