Formal Specification of ODP Systems using language Mondel (in Portuguese)

M.R. Salvador, W.L. de Souza

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

    Original languageUndefined
    Title of host publication16? Proceedings of Simposio Brasileiro de Redes de Computadores
    Place of PublicationRio de Janeiro, Brazil
    PublisherUniversity of Twente
    Publication statusPublished - 20 Feb 1998


    • METIS-119176

    Cite this