| 1986 |
|---|
| 7 | | 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 |
| 6 | | Heinz Jürgen Burkhardt,
Hans Eckert:
From Protocol Specification to Implementation and Test.
Networking in Open Systems 1986: 373-399 |
| 1985 |
|---|
| 5 | | 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 |
| 4 | | 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 |
|---|
| 3 | | Heinz Jürgen Burkhardt,
Hans Eckert,
Rainer Prinoth:
Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets.
PSTV 1984: 165-192 |
| 1983 |
|---|
| 2 | | 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 |
|---|
| 1 | | Hans Eckert:
Benutzerschnittstelle des PIX End-zu-End Protokolls.
Kommunikation in Verteilten Systemen 1979: 87-109 |
