Filtrování

    2008

    1. Component-Interaction Automata Approach (CoIn)
      ZIMMEROVÁ, Barbora; Pavlína VAŘEKOVÁ; Nikola BENEŠ; Ivana ČERNÁ; Luboš BRIM a Jiří SOCHOR. Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany: Springer Verlag, 2008, s. 146-176. LNCS 5153. ISBN 978-3-540-85288-9.
      URL
      Název česky: Přístup využívající Component-Interaction automaty
      RIV/00216224:14330/08:00024133 Kapitola resp. kapitoly v odborné knize. Informatika. angličtina. Německo.
      Zimmerová, Barbora (203 Česká republika, garant) -- Vařeková, Pavlína (203 Česká republika) -- Beneš, Nikola (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Brim, Luboš (203 Česká republika) -- Sochor, Jiří (203 Česká republika)
      Klíčová slova anglicky: Component models; modelling; verification; Component Interaction automata
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 19. 3. 2009 18:51.
      Podrobněji: https://is.muni.cz/publication/744248/cs