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

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info