The Production Cell: An Exercise in the Formal Verification of a UML Model

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    2 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationProceedings of the Thirty-Third Annual Hawaii International Conference on System Sciences
    RedaktörerRalph H. Sprague
    FörlagIEEE Computer Society
    Sidor
    ISBN (tryckt)978-0769504933
    StatusPublicerad - 2000
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2000-01-04; 2000-01-07 - Annual Hawaii International Conference on System Sciences
    Varaktighet: 4 jan 20007 jan 2000

    Konferens

    Konferensconference; 2000-01-04; 2000-01-07
    Period04/01/0007/01/00

    Citera det här