MARIA - Modular Reachability Analyser

Marko Mäkelä, Timo Latvala, Kimmo Varpaaniemi

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisuSoftwareScientific

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

    Tutkimusalat

    • modular state space exploration
    • nested modular nets

    Siteeraa tätä