vUML: A Tool for Verifying UML Models

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationThe 14th IEEE International Conference on Automated Software Engineering
    FörlagIEEE Computer Society
    Sidor255–258
    ISBN (tryckt)0-7695-0415-9
    DOI
    StatusPublicerad - 1999
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 1999-10-12; 1999-10-15 - 14th IEEE International Conference on Automated Software Engineering Cocoa Beach, Florida
    Varaktighet: 12 okt 199915 okt 1999

    Konferens

    Konferensconference; 1999-10-12; 1999-10-15
    Period12/10/9915/10/99

    Citera det här