Engineering an implementation of the OSI CCRProtocol using the Information Systems Engineering Techniques of FormalSpecification and Program Transformation

Valerie M. Jones

    Research output: Book/ReportReportOther research output

    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Sep 1997

    Keywords

    • EWI-6018

    Cite this