dblp.uni-trier.dewww.uni-trier.de

Hans Eckert

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Heinz Jürgen Burkhardt [3] [4] [5] [6] [7]
2Alfred Giessler [4]
3Rainer Prinoth [2] [3] [5] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)