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
    Pages278-297
    Publication statusPublished - 20 Feb 1998

    Keywords

    • METIS-119176

    Cite this

    Salvador, M. R., & de Souza, W. L. (1998). Formal Specification of ODP Systems using language Mondel (in Portuguese). In 16? Proceedings of Simposio Brasileiro de Redes de Computadores (pp. 278-297). Rio de Janeiro, Brazil: University of Twente.