Masaryk University

Publication Records

česky | in English

Filter publications

    2005

    1. VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
      ŠAFRÁNEK, David and Jiří ŠIMŠA. VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. In SOFSEM 2005: Theory and Practice of Computer Science. Heidelberg: Springer, 2005, p. 320-330, 10 pp. ISBN 3-540-24302-X.
      More: https://is.muni.cz/publication/579961/en

    2003

    1. Visual Specification of Concurrent Systems
      ŠAFRÁNEK, David. Visual Specification of Concurrent Systems. In 18th IEEE International Conference on Automated Software Engineering. Montreal, Quebec, Canada: IEEE Computer Society, 2003, p. 369-372. ISBN 0-7695-2035-9.
      More: https://is.muni.cz/publication/489729/en

    2001

    1. Grafická specifikace souběžných systémů
      ŠAFRÁNEK, David. Grafická specifikace souběžných systémů. Brno: Masarykova universita, Fakulta informatiky, 2001, 68 pp. Diplomová práce.
      More: https://is.muni.cz/publication/491770/en
Display details
Displayed: 9/11/2024 02:59