Вы здесь

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
СТ 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
СТ Vertical Reuse in the Development of Distributed Systems with FDTs 2003 Gotzhein R. Lecture Notes in Computer Science 26.12.2003