Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2007

    1. Component Substitutability via Equivalencies of Component-Interaction Automata
      ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. Online. Electronic Notes in Theoretical Computer Science. Elsevier, roč. 182, č. 1, s. 39-55. ISSN 1571-0661
      Název česky: Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
      RIV/00216224:14330/07:00019439 Článek v odborném periodiku. Informatika. angličtina. Macao.
      Černá, Ivana (203 Česká republika, garant, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: component-based systems; reconfiguration correctness; component substitutability; independent implementability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:30.
      Podrobněji: https://is.muni.cz/publication/720980/cs

    2006

    1. Component Substitutability via Equivalencies of Component-Interaction Automata
      ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. Online. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06). Macao: UNU-IIST. s. 115-130. ISSN 1571-0661
      Název česky: Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
      RIV/00216224:14330/06:00015414 Stať ve sborníku. Informatika. angličtina. Macao.
      Černá, Ivana (203 Česká republika, garant) -- Vařeková, Pavlína (203 Česká republika) -- Zimmerová, Barbora (203 Česká republika)
      Klíčová slova anglicky: component-based systems; reconfiguration correctness; component substitutability; independent implementability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 31. 3. 2010 15:38.
      Podrobněji: https://is.muni.cz/publication/698722/cs
Zobrazeno: 23. 4. 2024 12:07