Formal description of ISO 8072 (transport service) in LOTOS.

H.H.C. Kremer, J. van de Lagemaat, A. Rennoch, Giuseppe Scollo

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationGeneve
    PublisherISO/IEC Technical report 10023 1st edition
    Number of pages28
    Publication statusPublished - 1992

    Keywords

    • METIS-119087

    Cite this