Effective verification of systems with a dynamic number of components

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Efektivní verifikace systémů s dynamickým počtem komponent
Autoři

VAŘEKOVÁ Pavlína MORAVEC Pavel ČERNÁ Ivana ZIMMEROVÁ Barbora

Rok publikování 2007
Druh Článek ve sborníku
Konference Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://portal.acm.org/citation.cfm?id=1292317&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
Obor Informatika
Klíčová slova Component-based systems; dynamic number of components; finite-state systems; formal verification
Popis V článku prezentujeme nový přístup k verifikaci dynamických komponentových systémů; systémů, které se mohou skládat z měnícího se počtu komponent v průběhu svého života.
Související projekty:

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