Translation Tool for LTS BMC

Toni Jussila

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisuSoftwareScientific

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

    Tutkimusalat

    • Bounded Model Checking
    • Verification

    Siteeraa tätä