| 2003 |
|---|
| 6 | EE | Joachim Thees:
Type Abstraction in Formal Protocol Specifications with Container Types.
FORTE 2003: 383-398 |
| 5 | | Reinhard Gotzhein,
Christian Peper,
Philipp Schaible,
Joachim Thees:
Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie.
KiVS 2003: 131-141 |
| 1999 |
|---|
| 4 | | Joachim Thees:
Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers.
FBT 1999: 243-252 |
| 1998 |
|---|
| 3 | EE | Joachim Thees,
Reinhard Gotzhein:
The experimental Estelle Compiler: automatic generation of implementations from formal specifications.
FMSP 1998: 54-61 |
| 2 | | Joachim Thees,
Reinhard Gotzhein:
Open Estelle - An FDT for Open Distributed Systems.
FORTE 1998: 19-36 |
| 1997 |
|---|
| 1 | | Joachim Thees,
Reinhard Gotzhein:
Leistungsbewertung automatisch generierter Protokollimplementierungen.
MMB (Kurzbeiträge) 1997: 26-33 |
