Preview
Unable to display preview. Download preview PDF.
Reference to papers presenting PROSIT results in more details
Burkhardt, H. J.; Eckert, H.; Prinoth, R. Modelling of OSI-Communication Services and Protocols using Predicate/Transition Nets Protocol Specification, Testing, and Verification Y. Yemini, R. Strom, and S. Yemini (ed.) Elsevier Science Publishers B. V. (North-Holland) C IFIP, 1985
Eckert, H.; Prinoth, R. Produktnetze — Definition eines PROSIT-Beschreibungsmittels Arbeitspapiere der GMD Nr. 92, 1984
Baumgarten, B.; Ochsenschläger, P.; Prinoth, R. Building Blocks for Distributed System Design Proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing and Verification, 1985 North Holland, 1985
Baumgarten, B.; Burkhardt, H. J.; Ochsenschläger, P.; Prinoth, R. The Signing of a Contract — a Tree Structured Application Modelled with Petri Net Building Blocks Advances in Petri Nets, LNCS, 222, Springer, 1986
Eckert, H.; Prinoth, R. A Computation-Systems Based Method for Automated Proving of Protocols Against Services Protocol Specification, Testing, and Verification, III H. Ruding and C. H. West (ed.) Elsevier Science Publishers B. V. (North-Holland) C. IFIP, 1983
Baumgarten, B.; Ochsenschläger, P. Modelling and Verification of a Checkpoint-Restart-Protocol 2. GI/NTG/GMR-Fachtagung: Fehlertolerierende Rechensysteme Bonn 1984 Informatik-Fachberichte 84, pp 353–363 Springer Verlag
B. Baumgarten, P. Ochsenschläger: On Termination and Phase Changes in the Presence of Unreliable Communication Information Processing Letters 1985
Paule, C. Das Netzsimulationsystem NESSY Arbeitspapiere der GMD Nr. 156, 1985
Burkhardt, H. J.; Eckert, H.; Prinoth, R. Implementing OSI Communication Protocols — A Systematic Approach to Derive SDL Implementation Specifications from Global Protocol Specifications ICCC 86
Burkhardt, H. J.; Eckert, H.; Giessler, A. Testing of Protocol Implementations — A Systematic Approach to Derivation of Test Sequences from Global Protocol Specifications — Proceeding of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing and Verification, 1985 North Holland, 1985
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Burkhardt, H.J., Eckert, H. (1987). From protocol specification to implementation and test. In: Müller, G., Blanc, R.P. (eds) Networking in Open Systems. Lecture Notes in Computer Science, vol 248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026972
Download citation
DOI: https://doi.org/10.1007/BFb0026972
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17707-4
Online ISBN: 978-3-540-47777-8
eBook Packages: Springer Book Archive