Hans Eckert

According to our database, Hans Eckert authored at least 8 papers between 1979 and 1986.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1986

Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications.

Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

From Protocol Specification to Implementation and Test.

Heinz Jürgen Burkhardt, Hans Eckert

Proceedings of the Networking in Open Systems, 1986

1985

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen.

Hans Eckert

PhD thesis, 1985

Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications.

Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler

Proceedings of the Protocol Specification, 1985

Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen.

Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth

Proceedings of the Kommunikation in Verteilten Systemen I, 1985

1984

Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets.

Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth

Proceedings of the Protocol Specification, 1984

1983

A Computation-System Based Method for Automated Proving of Protocols Against Services.

Hans Eckert, Rainer Prinoth

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1979

Benutzerschnittstelle des PIX End-zu-End Protokolls.

Hans Eckert

Proceedings of the Kommunikation in Verteilten Systemen, 1979