- CSB - MetaPress - Google - Bing - Yahoo
 | 1986 | |
|---|---|---|
| c7 |      | Heinz Jürgen Burkhardt, Hans Eckert: From Protocol Specification to Implementation and Test. Networking in Open Systems 1986: 373-399 |
| c6 |  | Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth: Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications. ICCC 1986: 531-536 |
| 1985 | ||
| c5 | | Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth: Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen. Kommunikation in Verteilten Systemen (1) 1985: 610-645 |
| c4 | | Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler: Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications. PSTV 1985: 461-481 |
| 1984 | ||
| c3 | | Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth: Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets. PSTV 1984: 165-192 |
| 1983 | ||
| c2 | | Hans Eckert, Rainer Prinoth: A Computation-System Based Method for Automated Proving of Protocols Against Services. Protocol Specification, Testing, and Verification 1983: 213-228 |
| 1979 | ||
| c1 | | Hans Eckert: Benutzerschnittstelle des PIX End-zu-End Protokolls. Kommunikation in Verteilten Systemen 1979: 87-109 |
| 1 | Heinz Jürgen Burkhardt | |
| 2 | Alfred Giessler | |
| 3 | Rainer Prinoth |
Data released under the ODC-BY 1.0 license — See also our legal information page