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, 2012, s. 148-153. ISBN 978-1-4673-1687-3. Dostupné z: https://dx.doi.org/10.1109/ACSD.2012.25.

   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.

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