|
СТ |
From Requuirements to Validated Embedded Systems |
2001 |
Broy M., Slotosch O. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
|
СТ |
Consistent Integration of Formal Methods |
2000 |
Braun P., Lotzbeyer H., Schatz B., Slotosch O. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
П |
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 |
|
СТ |
Enriching the Software Development Process by Formal Methods |
1999 |
Broy M., Slotosch O. |
|
|
|
Lecture Notes in Computer Science |
29.09.1999 |
|
СТ |
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 |
|
П |
Die funktionale Essenz von HDMS-A |
1993 |
Slotosch O., Nickl F., Merz S., Hussmann H., Hettler R. |
|
|
TUM |
|
05.07.1995 |
|
П |
AVL Trees Revisited: A Case Study in SPECTRUM |
1994 |
Hettler R., Nazareth D., Regensburger F., Slotosch O. |
|
|
TUM |
|
05.07.1995 |
