Formalising UML State Machines for Model Checking

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    113 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoUML'99 The Unified Modeling Language
    KustantajaSpringer
    Sivut430–445
    ISBN (elektroninen)978-3-540-46852-3
    ISBN (painettu)978-3-540-66712-4
    DOI - pysyväislinkit
    TilaJulkaistu - 1999
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 1999-10-28; 1999-10-30 - The Unified Modeling Language Beyond the Standard (UML'99)
    Kesto: 28 lokakuuta 199930 lokakuuta 1999

    Konferenssi

    Konferenssiconference; 1999-10-28; 1999-10-30
    Ajanjakso28/10/9930/10/99

    Viittausmuodot