| |
| 1993 | ||
|---|---|---|
| 4 | Frank Dederichs, Claus Dendorfer, Rainer Weber: FOCUS: A Formal Design Method for Distributed Systems. Parallel Computer Architectures 1993: 190-202 | |
| 1992 | ||
| 3 | Claus Dendorfer, Rainer Weber: An Informal Introduction to the Design Method FOCUS. FBT 1992: 9-20 | |
| 2 | Claus Dendorfer, Rainer Weber: From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. PSTV 1992: 163-177 | |
| 1 | Manfred Broy, Claus Dendorfer: Modelling Operating System Structures by Timed Stream Processing Functions. J. Funct. Program. 2(1): 1-21 (1992) | |
| 1 | Manfred Broy | [1] |
| 2 | Frank Dederichs | [4] |
| 3 | Rainer Weber | [2] [3] [4] |