ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "NuSMV"
NuSMV
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
NuSeen: A Tool Framework for the NuSMV Model Checker
2017 |
Matematicko-fyzikální fakulta
publication
NuSeen
Publikace bez příslušnosti k fakultě
publication
FOAM : A Lightweight Method for Verification of Use-Cases
2012 |
Matematicko-fyzikální fakulta
