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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Specification of the Transport and Session Protocols


    Beteiligte:
    R. Tenney (Autor:in) / J. Burruss (Autor:in) / G. Pearson (Autor:in)

    Erscheinungsdatum :

    1980


    Format / Umfang :

    281 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Standards & Protocols Session

    Weiland, R. J. / IVHS America | British Library Conference Proceedings | 1992


    From Formal Specification to Verified Implementation

    Hocking, Ashlie B. / Di Vito, Ben L. / Rowanhill, Jonathan C. | IEEE | 2024


    Formal Specification of Railway Control Systems

    Xu, Bingqing / Zhang, Lichen | Springer Verlag | 2013


    Formal Specification of the TCAS Protocol

    Schaefer, C. / AIAA | British Library Conference Proceedings | 1993


    Formal specification of the TCAS protocol

    Schaefer, Carl | AIAA | 1993