Formalising UML State Machines for Model Checking

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    113 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationUML'99 The Unified Modeling Language
    FörlagSpringer
    Sidor430–445
    ISBN (elektroniskt)978-3-540-46852-3
    ISBN (tryckt)978-3-540-66712-4
    DOI
    StatusPublicerad - 1999
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 1999-10-28; 1999-10-30 - The Unified Modeling Language Beyond the Standard (UML'99)
    Varaktighet: 28 okt 199930 okt 1999

    Konferens

    Konferensconference; 1999-10-28; 1999-10-30
    Period28/10/9930/10/99

    Citera det här