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
    Publication statusPublished - 24 Feb 1993


    • METIS-120018

    Cite this