Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2006

    1. Visual Coordination Networks
      ŠAFRÁNEK, David. Visual Coordination Networks. Brno: Masaryk University, 2006, 218 s. PhD Thesis.
      Název česky: Visuální koordinační sítě
      RIV/00216224:14330/06:00031784 Účelové publikace. Informatika. angličtina. Česká republika.
      Šafránek, David (203 Česká republika, garant)
      Klíčová slova anglicky: Thesis; coordination languages; architectural description languages; architectural interoperability checking; formal specification
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 19. 10. 2009 14:42.
      Podrobněji: https://is.muni.cz/publication/707398/cs

    2002

    1. SGCCS: A Graphical Language for Real-Time Coordination
      ŠAFRÁNEK, David. SGCCS: A Graphical Language for Real-Time Coordination. In Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures. Namur, Belgium: Elsevier Science, 2002, s. 99-114. ISSN 1571-0661.
      URL
      Název anglicky: SGCCS: A Graphical Language for Real-Time Coordination
      RIV/00216224:14330/02:00006582 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
      Šafránek, David (203 Česká republika, garant)
      Klíčová slova anglicky: formal specification; discrete real-time systems; hardware; SCCS; SGCCS; GCCS
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 20. 5. 2003 14:07.
      Podrobněji: https://is.muni.cz/publication/406145/cs
Zobrazeno: 27. 7. 2024 20:26