Výpis publikací

2012

1. Sequence Chart Studio

   BEZDĚKA, Martin, Ondřej BOUDA, Ľuboš KORENČIAK, Matúš MADZIN a Vojtěch ŘEHÁK. Sequence Chart Studio. In Jens Brandt and Keijo Heljanko. 2012 12th International Conference on Application of Concurrency to System Design. Los Allamitos, Califonia, USA: IEEE Computer Society. s. 148-153. ISBN 978-1-4673-1687-3. doi:10.1109/ACSD.2012.25. 2012.

   Název česky: Sequence Chart Studio
   RIV/00216224:14330/12:00057472 Stať ve sborníku. Informatika. angličtina. Spojené státy.
   Bezděka, Martin (203 Česká republika, domácí) -- Bouda, Ondřej (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, domácí) -- Madzin, Matúš (703 Slovensko, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
   Klíčová slova anglicky: message sequence charts; checkers; transformers; sequence chart drawing
   Druh sborníku: předkonferenční sborník
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 4. 2013 14:01.

   Podrobněji: https://is.muni.cz/publication/986577/cs
2. Sequence Chart Studio: user-friendly drawing and verification tool for MSC (software)

   ŘEHÁK, Vojtěch, Matúš MADZIN, Ľuboš KORENČIAK, Petr GOTTHARD, Ondřej KOCIAN, Martin BEZDĚKA, Ondřej BOUDA, Václav VACEK, Milan MALOTA a Zuzana PEKARČÍKOVÁ. Sequence Chart Studio: user-friendly drawing and verification tool for MSC. 2012.

   URL

   Název česky: Sequence Chart Studio: uživatelsky přívětivý nástroj pro kreslení a verifikaci MSC
   RIV/00216224:14330/12:00057901 Software. Informatika. angličtina. Česká republika.
   Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Madzin, Matúš (703 Slovensko, domácí) -- Korenčiak, Ľuboš (703 Slovensko, domácí) -- Gotthard, Petr (203 Česká republika, domácí) -- Kocian, Ondřej (203 Česká republika, domácí) -- Bezděka, Martin (203 Česká republika, domácí) -- Bouda, Ondřej (203 Česká republika, domácí) -- Vacek, Václav (203 Česká republika, domácí) -- Malota, Milan (703 Slovensko, domácí) -- Pekarčíková, Zuzana (703 Slovensko, domácí)
   Klíčová slova anglicky: Message Sequence Charts; ITU-T Z.120; Microsoft Visio; time race checking; find flow; easy drawing
   Mezinárodní význam: ano
   Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 19. 4. 2013 12:56.

   Podrobněji: https://is.muni.cz/publication/1076330/cs