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