Usage of the Lotosphere Development Tools and ISODE for Prototyping Application Layer Protocols

M. Baveco, H. Korte, I.A. Widya, Marten J. van Sinderen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationWorkshop Proceedings Formale Methoden zum Entwurf Korrekter Systeme
    Place of PublicationBad Herrealb - Germany
    Pages81-94
    Publication statusPublished - 24 Feb 1993

    Keywords

    • METIS-120018

    Cite this

    Baveco, M., Korte, H., Widya, I. A., & van Sinderen, M. J. (1993). Usage of the Lotosphere Development Tools and ISODE for Prototyping Application Layer Protocols. In Workshop Proceedings Formale Methoden zum Entwurf Korrekter Systeme (pp. 81-94). Bad Herrealb - Germany.