Engineering an implementation of the OSI CCR Protocol using the information systems engineering techniques of formal specification and program transformation

Valerie M. Jones

    Research output: Book/ReportReportProfessional

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

    Publication series

    NameCTIT Technical Report Series
    ISSN (Print)1381-3625

    Keywords

    • METIS-119120

    Cite this