Formal Verification of Component-based Architectures - Motivation, Methods & Challenges
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F10%3A00046499" target="_blank" >RIV/00216224:14330/10:00046499 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formal Verification of Component-based Architectures - Motivation, Methods & Challenges
Popis výsledku v původním jazyce
Invited lecture at FESCA 2010 workshop (see http://fesca.ipd.kit.edu/fesca2010/)dedicated to the problems of modelling and verification of compoment systems
Název v anglickém jazyce
Formal Verification of Component-based Architectures - Motivation, Methods & Challenges
Popis výsledku anglicky
Invited lecture at FESCA 2010 workshop (see http://fesca.ipd.kit.edu/fesca2010/)dedicated to the problems of modelling and verification of compoment systems
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F09%2F1389" target="_blank" >GA201/09/1389: Verifikace a analýza velmi velkých počítačových systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů