P. Herrmann:
Problemnaher
korrektheitssichernder Entwurf von Hochleistungsprotokollen
(Dissertation).
P. Herrmann, H. Krumm:
Protokollspezifikation
und -verifikation mit dem Transferprotokoll-Framework.
P. Herrmann, H. Krumm:
Re-Usable Verification Elements for High-Speed Transfer Protocol
Configurations
.
P. Herrmann, H. Krumm:
Compositional Specification and Verification of
High-Speed Transfer Protocols.
Project Duration
April 1993 until February 1996
Project Results
Transfer Protocol Framework
Contact
Peter Herrmann