Filtrování publikací
-
ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2007, 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 -
ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a 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, 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
2007
2006
Zobrazeno: 12. 9. 2024 16:54