|
Search the dblp DataBase
Claus Dendorfer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Frank Dederichs, Claus Dendorfer, Rainer Weber
FOCUS: A Formal Design Method for Distributed Systems. [Citation Graph (0, 0)][DBLP] Parallel Computer Architectures, 1993, pp:190-202 [Conf]
- Claus Dendorfer, Rainer Weber
An Informal Introduction to the Design Method FOCUS. [Citation Graph (0, 0)][DBLP] FBT, 1992, pp:9-20 [Conf]
- Claus Dendorfer, Rainer Weber
From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. [Citation Graph (0, 0)][DBLP] PSTV, 1992, pp:163-177 [Conf]
- Manfred Broy, Claus Dendorfer
Modelling Operating System Structures by Timed Stream Processing Functions. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1992, v:2, n:1, pp:1-21 [Journal]
Search in 0.001secs, Finished in 0.001secs
|