Výpis publikací

2006

1. Architectural Interoperability Checking in Visual Coordination Networks

   ŠAFRÁNEK, David. Architectural Interoperability Checking in Visual Coordination Networks. In Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006). Bologna: Elsevier Science, 2006, s. 81-96, 15 s. ISSN 1571-0661.

   URL

   Název česky: Ověřování interoperability architektur ve vizuálních koordinačních diagramech
   RIV/00216224:14330/06:00015346 Stať ve sborníku. Informatika. angličtina. Česká republika.
   Šafránek, David (203 Česká republika, garant)
   Klíčová slova anglicky: coordination models; architectural description languages; interoperability checking; equivalence checking; visual coordination networks
   Druh sborníku: postkonferenční sborník
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 18. 6. 2007 14:54.

   Podrobněji: https://is.muni.cz/publication/637465/cs
2. 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