ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "softwarových"
softwarových
Publikace
Předměty
Osoby
Publikace
Studium
Carmen - model checker softwarových komponent
Publikace
2 osoby
Abstrakt
Carmen - model checker softwarových komponent, [http://www2.lifl.fr/~plsek/Projects/Carmen/]
Osoby
person
RNDr. Jiří Adámek
Matematicko-fyzikální fakulta
person
Aleš Plšek
Osoba bez příslušnosti k fakultě
