|
1 |
Trust-Based Runtime Monitoring of Distributed Component-Structured E-Commerce Software
Herrmann, Peter. - Dortmund : Universitätsbibliothek Dortmund, 2004
|
|
|
2 |
Advanced implementation techniques for automated protocol implementation
Langendörfer, Peter. - [Cottbus] : [Brandenburgische Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik], 1999
|
|
|
|
3 |
Implementierung von Kommunikationsprotokollen
König, Hartmut. - Cottbus : Brandenburgische Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik, 1996
|
|
|
|
4 |
Composition and refinement mapping based construction of distributed applications
Mester, Arnulf. - Dortmund : Dekanat Informatik, Univ., 1994
|
|
|
|
5 |
Compositional specification and verification of high speed transfer protocols
Herrmann, Peter. - Dortmund : Dekanat Informatik, Univ., 1994
|
|
|
|
6 |
Protokollimplementierung
König, Hartmut. - Cottbus : Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik, 1994
|
|
|
|
7 |
Report on analysis and verification techniques
Herrmann, Peter. - Dortmund : Dekanat Informatik, Univ., 1993
|
|
|
|
8 |
Telekommunikation und Datenhaltung
Lockemann, Peter C.. - München : Hanser, 1993
|
|
|
|
9 |
Theorem prover based verification of TLA systems
Eickhoff, Ulrich. - Dortmund : Dekanat Informatik, Univ., 1993
|
|
|
|
10 |
Funktionelle Analyse von Kommunikationsprotokollen
Krumm, Heiko. - Berlin : Springer, 1990
|
|
Administration
