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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    2 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoProceedings of the Thirty-Third Annual Hawaii International Conference on System Sciences
    ToimittajatRalph H. Sprague
    KustantajaIEEE Computer Society
    Sivut
    ISBN (painettu)978-0769504933
    TilaJulkaistu - 2000
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2000-01-04; 2000-01-07 - Annual Hawaii International Conference on System Sciences
    Kesto: 4 tammikuuta 20007 tammikuuta 2000

    Konferenssi

    Konferenssiconference; 2000-01-04; 2000-01-07
    Ajanjakso04/01/0007/01/00

    Viittausmuodot