Informace o publikaci

Verification of Open Interactive Markov Chains

Autoři

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

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 Středisko pro pomoc studentům se specifickými nároky

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.

Další info