ℹ️
🇨🇿
Hledání
Hledat předměty relevantní k dotazu "model checking"
model checking
Předmět
Předměty
Osoby
Publikace
Studium
class
Modely a verifikace chování systémů
+1
NSWI101 |
Matematicko-fyzikální fakulta
class
Analýza programů a verifikace kódu
+1
NSWI132 |
Matematicko-fyzikální fakulta
class
Výběrový seminář z distribuovaných a komponentových systémů I
NSWI057 |
Matematicko-fyzikální fakulta
class
Výběrový seminář z distribuovaných a komponentových systémů II
NSWI058 |
Matematicko-fyzikální fakulta
class
Dynamická logika
ALGV19008 |
Filozofická fakulta
class
Lineární regrese
NMSA407 |
Matematicko-fyzikální fakulta
class
Gravimetrický průzkum
+1
MG452P22 |
Přírodovědecká fakulta