Symbolic Model Checking of Hierarchical UML State Machines

Jori Dubrovin, Tommi Junttila

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    23 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoThe 8th International Conference on Application of Concurrency to System Design (ACSD'08)
    ToimittajatJonathan Billington, Zhenhua Duan, Maciej Koutny
    KustantajaIEEE Press
    Sivut108-117
    TilaJulkaistu - 2008
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • symbolic model checking
    • UML semantics
    • UML state machine
    • verification

    Siteeraa tätä