Informace o publikaci

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
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.

Další info