Searching for authors named "Stephan Kleuker" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Formalizing Requirements for Distributed Systems with Trace Diagrams
- …Formalizing Requirements for Distributed Systems with Trace Diagrams ? Stephan Kleuker University…
- Cited by 1 (0 self) – Add To MetaCart
-
Incremental Development of Deadlock-Free Communicating Systems
- …Incremental Development of Deadlock-Free Communicating Systems ? Stephan Kleuker University…
- Cited by 1 (1 self) – Add To MetaCart
-
The Incremental Development of Correct Specifications for Distributed Systems
- …The Incremental Development of Correct Specifications for Distributed Systems Stephan Kleuker 1…
- Cited by 3 (3 self) – Add To MetaCart
-
A Formal Approach to the Development of Reliable Multi-User Multimedia Applications
- …A Formal Approach to the Development of Reliable Multi-User Multimedia Applications Stephan…
- Cited by 4 (4 self) – Add To MetaCart
-
Provably Correct Communication Networks (CoCoN)
- …Provably Correct Communication Networks (CoCoN) Stephan Kleuker FB Informatik University…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 5.
