Masaryk University

Publication Records

česky | in English

Filter publications

    2007

  1. ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2007, vol. 182, No 1, p. 39-55. ISSN 1571-0661.
    Name in Czech: Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
    RIV/00216224:14330/07:00019439 Article in a journal. Informatics. English. Macao.
    Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution)
    Keywords in English: component-based systems; reconfiguration correctness; component substitutability; independent implementability
    International impact: yes
    Reviewed: yes

    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:30.
  2. 2006

  3. ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06). Macao: UNU-IIST, 2006. p. 115-130. ISSN 1571-0661.
    Name in Czech: Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
    RIV/00216224:14330/06:00015414 Proceedings paper. Informatics. English. Macao.
    Černá, Ivana (203 Czech Republic, guarantor) -- Vařeková, Pavlína (203 Czech Republic) -- Zimmerová, Barbora (203 Czech Republic)
    Keywords in English: component-based systems; reconfiguration correctness; component substitutability; independent implementability
    International impact: yes
    Reviewed: yes

    Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 31/3/2010 15:38.
Displayed: 27/9/2023 17:09