Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2011

    1. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
      BENEŠ, Nikola, Ivana ČERNÁ a Milan KŘIVÁNEK. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. Online. 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. Dostupné z: https://dx.doi.org/10.4204/EPTCS.72.
      Podrobněji: https://is.muni.cz/publication/960030/cs

    2010

    1. CoIn-DiVinE (software)
      BENEŠ, Nikola, Ivana ČERNÁ a Milan KŘIVÁNEK. CoIn-DiVinE. 2010.
      Podrobněji: https://is.muni.cz/publication/935983/cs

    2009

    1. CoIn Tool Set (software)
      BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ a Milan KŘIVÁNEK. CoIn Tool Set. 2009.
      Podrobněji: https://is.muni.cz/publication/878167/cs
    2. Space Effective Model Checking for Component-Interaction Automata
      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.
      Podrobněji: https://is.muni.cz/publication/875218/cs
Zobrazit podrobně
Zobrazeno: 27. 7. 2024 05:39