Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

Logo poskytovatele

Varování

Publikace nespadá pod Lékařskou 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.

Další info