Efektivní verifikace systémů s dynamickým počtem komponent

Základní údaje

Originální název Effective verification of systems with a dynamic number of components
Autoři

Další údaje

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í název angličtina
Obor Informatika
WWW
Druh Článek ve sborníku
Klíčová slova Component-based systems; dynamic number of components; finite-state systems; formal verification

Anotace

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.

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

Další info