Verification of Open Interactive Markov Chains

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BRÁZDIL Tomáš HERMANNS Holger KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch

Rok publikování 2012
Druh Článek ve sborníku
Konference IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://drops.dagstuhl.de/opus/volltexte/2012/3882
Doi http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474
Obor Informatika
Klíčová slova IMC;compositional verification;synthesis;time bounded reachability;discretization
Popis Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.