Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů
Autoři

ZIMMEROVÁ Barbora VAŘEKOVÁ Pavlína

Rok publikování 2007
Druh Článek ve sborníku
Konference MEMICS proceedings
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
Obor Informatika
Klíčová slova Component-based systems; verification; component instances
Popis V článku prezentujeme náš přístup k modelování a verifikaci komunikačního chování mezi komponentami v komponentových systémech s ohledem na zachycení vytváření a mazání instancí komponent za běhu systému.
Související projekty:

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