česky | in English
Název česky: Modelování a formální analýza komponentových systémů z pohledu interakce mezi komponentami
Informatika. angličtina. Česká republika.
Klíčová slova anglicky: Component-based systems; component interaction; automata-based modelling; formal analysis; component equivalence; substitutability
Mezinárodní význam: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:32.
Název česky: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
RIV/00216224:14330/06:00015470 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
Brim, Luboš (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: ADLs; Component-Interaction automata; component interaction; verification
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:27.
Název česky: Formální analýza komponentových systému s ohledem na interakci mezi komponentami
RIV/00216224:14330/06:00015552 Stať ve sborníku. Informatika. angličtina. Německo.
Zimmerová, Barbora (203 Česká republika, garant, domácí)
Klíčová slova anglicky: component-based systems; formal analysis; component interaction
Druh sborníku: předkonferenční sborník
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:25.
Název česky: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
RIV/00216224:14330/05:00012815 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Vařeková, Pavlína (203 Česká republika) -- Zimmerová, Barbora (203 Česká republika)
Klíčová slova anglicky: ADLs; Component-Interaction automata; component interaction; verification
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 29. 11. 2006 14:53.