Effective verification of systems with a dynamic number of components

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
Druh Článek ve sborníku
Citace VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ a Barbora ZIMMEROVÁ. Effective verification of systems with a dynamic number of components. In 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. New York, NY, USA: ACM Press, 2007. s. 3-13. ISBN 978-1-59593-721-6.
Originální jazyk angličtina
Obor Informatika
WWW http://portal.acm.org/citation.cfm?id=1292317&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
Klíčová slova Component-based systems; dynamic number of components; finite-state systems; formal verification

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.

Další info