Filtrování

    2010

    1. Decidable Race Condition and Open Coregions in HMSC D - Stať ve sborníku
      ŘEHÁK, Vojtěch; Petr SLOVÁK; Jan STREJČEK a Loïc HÉLOUËT. Decidable Race Condition and Open Coregions in HMSC. In Jochen Küster, Emilio Tuosto. Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). Paphos, Kypr: ECEASST, 2010, 12 s. ISSN 1863-2122.
      Podrobněji: https://is.muni.cz/publication/878519/cs

    2007

    1. Formalisms and Tools for Design and Specification of Network Protocols A - Audiovizuální tvorba
      BABICA, Jindřich; Vojtěch ŘEHÁK; Petr SLOVÁK; Pavel TROUBIL a Martin ZAVADIL. Formalisms and Tools for Design and Specification of Network Protocols. Brno: FI MU, 2007. FIMU-RS-2007-02.
      Podrobněji: https://is.muni.cz/publication/759822/cs
Zobrazit podrobně