NuSMV-bPLTL

Timo Latvala

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific

    AlkuperäiskieliEnglanti
    TilaJulkaistu - 2004
    OKM-julkaisutyyppiI2 Tieto- ja viestintätekniset sovellukset

    Tutkimusalat

    • Bounded model checking,
    • NuSMV
    • PLTL,

    Muut tiedostot ja linkit

    Siteeraa tätä