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

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Formální verifikace komponentových architektur - motivace, metody a výzvy
Autoři	ČERNÁ Ivana
Rok publikování	2010
Druh	Vyžádané přednášky
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	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ů
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy Verifikace a analýza velmi velkých počítačových systémů