Search the dblp DataBase

Publications of Author

1. Heinz Jürgen Burkhardt, Hans Eckert
   From Protocol Specification to Implementation and Test. [Citation Graph (0, 0)][DBLP]
   Networking in Open Systems, 1986, pp:373-399 [Conf]
   
2. Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth
   Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications. [Citation Graph (0, 0)][DBLP]
   ICCC, 1986, pp:531-536 [Conf]
   
3. Hans Eckert, Rainer Prinoth
   A Computation-System Based Method for Automated Proving of Protocols Against Services. [Citation Graph (0, 0)][DBLP]
   Protocol Specification, Testing, and Verification, 1983, pp:213-228 [Conf]
   
4. Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth
   Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen. [Citation Graph (0, 0)][DBLP]
   Kommunikation in Verteilten Systemen (1), 1985, pp:610-645 [Conf]
   
5. Hans Eckert
   Benutzerschnittstelle des PIX End-zu-End Protokolls. [Citation Graph (0, 0)][DBLP]
   Kommunikation in Verteilten Systemen, 1979, pp:87-109 [Conf]
   
6. Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler
   Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications. [Citation Graph (0, 0)][DBLP]
   PSTV, 1985, pp:461-481 [Conf]
   
7. Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth
   Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
   PSTV, 1984, pp:165-192 [Conf]