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.
    Salvador, M.R. ; de Souza, W.L. / Formal Specification of ODP Systems using language Mondel (in Portuguese). 16? Proceedings of Simposio Brasileiro de Redes de Computadores. Rio de Janeiro, Brazil : University of Twente, 1998. pp. 278-297
    @inproceedings{a785bdac2cac4e7ba523a1c46afad96a,
    title = "Formal Specification of ODP Systems using language Mondel (in Portuguese)",
    keywords = "METIS-119176",
    author = "M.R. Salvador and {de Souza}, W.L.",
    year = "1998",
    month = "2",
    day = "20",
    language = "Undefined",
    pages = "278--297",
    booktitle = "16? Proceedings of Simposio Brasileiro de Redes de Computadores",
    publisher = "University of Twente",
    address = "Netherlands",

    }

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

    Formal Specification of ODP Systems using language Mondel (in Portuguese). / Salvador, M.R.; de Souza, W.L.

    16? Proceedings of Simposio Brasileiro de Redes de Computadores. Rio de Janeiro, Brazil : University of Twente, 1998. p. 278-297.

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

    TY - GEN

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

    AU - Salvador, M.R.

    AU - de Souza, W.L.

    PY - 1998/2/20

    Y1 - 1998/2/20

    KW - METIS-119176

    M3 - Conference contribution

    SP - 278

    EP - 297

    BT - 16? Proceedings of Simposio Brasileiro de Redes de Computadores

    PB - University of Twente

    CY - Rio de Janeiro, Brazil

    ER -

    Salvador MR, de Souza WL. Formal Specification of ODP Systems using language Mondel (in Portuguese). In 16? Proceedings of Simposio Brasileiro de Redes de Computadores. Rio de Janeiro, Brazil: University of Twente. 1998. p. 278-297