p 2010

Formal Verification of Component-based Architectures - Motivation, Methods & Challenges

ČERNÁ, Ivana

Základní údaje

Originální název

Formal Verification of Component-based Architectures - Motivation, Methods & Challenges

Název česky

Formální verifikace komponentových architektur - motivace, metody a výzvy

Autoři

Vydání

7th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 27th March 2010, Paphos, Cyprus, 2010

Další údaje

Jazyk

angličtina

Typ výsledku

Vyžádané přednášky

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Řecko

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/10:00046499

Organizační jednotka

Fakulta informatiky

Klíčová slova česky

komponentové systémy; formální verifikace

Klíčová slova anglicky

component systems; formal verification
Změněno: 28. 4. 2011 09:22, prof. RNDr. Ivana Černá, CSc.

Anotace

ORIG CZ

V originále

Invited lecture at FESCA 2010 workshop (see http://fesca.ipd.kit.edu/fesca2010/)dedicated to the problems of modelling and verification of compoment systems

Česky

Zvaná přednáška na konferenci FESCA 2010 (viz Invited lecture at FESCA 2010 workshop (see http://fesca.ipd.kit.edu/fesca2010/) na tému modelování a verifikace komponentových systémů

Návaznosti

GA201/09/1389, projekt VaV
Název: Verifikace a analýza velmi velkých počítačových systémů
Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy