PROD 3.4.00 -saavutettavuusanalyysiohjelmisto

Lasse Anderson, Johannes Helander, Keijo Heljanko, Tomi Janhunen, Robert Jürgens, Ismo Kangas, Kari Nurmela, Kenneth Oksanen, Olavi Pesonen, Marko Rauhamaa, James Reilly, Heikki Suonsivu, Kimmo Valkealahti, Kimmo Varpaaniemi, Pauli Väisänen

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisuSoftwareScientific

    AlkuperäiskieliEnglanti
    TilaJulkaistu - 2004
    OKM-julkaisutyyppiI2 ICT-ohjelmistot

    Tutkimusalat

    • computation tree logic
    • linear time temporal logic
    • on-the-fly verification
    • predicate/transition nets
    • priorities
    • reachability analysis
    • stubborn set method

    Siteeraa tätä