Вы здесь

Slotosch O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П AVL Trees Revisited: A Case Study in SPECTRUM 1994 Hettler R., Nazareth D., Regensburger F., Slotosch O. TUM 05.07.1995
СТ AVL Trees Revisited: A Case Study in Spectrum 1995 Hettler R., Nazareth D., Regensburger F., Slotosch O. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
СТ Consistent Integration of Formal Methods 2000 Braun P., Lotzbeyer H., Schatz B., Slotosch O. Lecture Notes in Computer Science 26.04.2000
П Die funktionale Essenz von HDMS-A 1993 Slotosch O., Nickl F., Merz S., Hussmann H., Hettler R. TUM 05.07.1995
СТ Enriching the Software Development Process by Formal Methods 1999 Broy M., Slotosch O. Lecture Notes in Computer Science 29.09.1999
СТ From Requuirements to Validated Embedded Systems 2001 Broy M., Slotosch O. Lecture Notes in Computer Science 03.11.2001
П The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part II 1993 Broy M., Facchi C., Grosu R., Hettler R., Hussman H., Nazareth D., Regensburger F., Slotosch O., Stolen K. Lecture Notes in Computer Science TUM 08.12.1999