Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2011

  1. BENEŠ, Nikola, Ivana ČERNÁ a Milan KŘIVÁNEK. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. In Jiří Barnat and Keijo Heljanko. Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden: Open Publishing Association, 2011. s. 63-67. ISSN 2075-2180. doi:10.4204/EPTCS.72.
  2. 2009

  3. BENEŠ, Nikola, Milan KŘIVÁNEK a Filip ŠTEFAŇÁK. Space Effective Model Checking for Component-Interaction Automata. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009. 8 s. ISBN 978-3-939897-15-6.
Zobrazit podrobně
Zobrazeno: 26. 1. 2023 23:59