Bomotest - A formal conformance testing tool, Version 1.5

Tuomo Pyhälä, Keijo Heljanko

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

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

    Tutkimusalat

    • bounded model checking
    • coverage

    Muut tiedostot ja linkit

    Siteeraa tätä