This report is the third report on the development of transport and session control protocols under the Federal Computer Network Protocol Standards Program (NBS80). This report will specify the actual operation of the transport and session control protocols.
Formal Specification of the Transport and Session Protocols
1980
281 pages
Report
Keine Angabe
Englisch
British Library Conference Proceedings | 1992
|From Formal Specification to Verified Implementation
IEEE | 2024
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|Formal Specification of the TCAS Protocol
British Library Conference Proceedings | 1993
|Formal specification of the TCAS protocol
AIAA | 1993
|