Masaryk University

Publication Records

česky | in English

Filter publications

    2007

    1. Component Substitutability via Equivalencies of Component-Interaction Automata
      Č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.
      More: https://is.muni.cz/publication/720980/en

    2006

    1. Component Substitutability via Equivalencies of Component-Interaction Automata
      Č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.
      More: https://is.muni.cz/publication/698722/en
Displayed: 12/10/2024 12:39