Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2012

  1. 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, 2012. s. 148-153, 6 s. ISBN 978-1-4673-1687-3. doi:10.1109/ACSD.2012.25.
    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.
  2. Ř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.
Zobrazeno: 23. 10. 2020 02:08