Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

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:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Vysoce paralelní a distribuované výpočetní systémy