-
PELÁNEK, Radek. Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2008, roč. 10, č. 5, s. 443-454. ISSN 1433-2779.
Název česky: Vlastnosti stavových prostorů a jejich aplikace
RIV/00216224:14330/08:00025025 Článek v odborném periodiku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: state space; explicit model checking; graph; experimental evaluation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 14. 11. 2008 12:24.Podrobněji: https://is.muni.cz/publication/792695/cs -
PELÁNEK, Radek. Typical Structural Properties of State Spaces. In SPIN Workshop 2004. Barcelona (Španělsko): Springer-Verlag, 2004, s. 5-22, 15 s. ISBN 3-540-21314-7.
Název česky: Typické strukturní vlastnosti stavových prostorů
RIV/00216224:14330/04:00010717 Stať ve sborníku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: explicit model checking; state space exploration
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.Podrobněji: https://is.muni.cz/publication/562993/cs -
BEHRMANN, Gerd; Kim G. LARSEN a Radek PELÁNEK. To Store or Not To Store. In Computer Aided Verification (CAV 2003). Boulder (Colorado, USA): Springer-Verlag, 2003, s. 433-445. ISBN 3-540-40524-0.
RIV/00216224:14330/03:00008588 Stať ve sborníku. Informatika. angličtina. Německo.
Behrmann, Gerd (208 Dánsko) -- Larsen, Kim G. (208 Dánsko) -- Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: explicit model checking; syntax analysis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.Podrobněji: https://is.muni.cz/publication/489730/cs