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

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    AlkuperäiskieliEi tiedossa
    KustantajaTurku Centre for Computer Science (TUCS)
    Sivumäärä20
    ISBN (painettu)952-12-0480-X
    TilaJulkaistu - 1999
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Viittausmuodot