| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 2,41 | 14,45 | Partial Order Reduction for State/Event LTL
|
| 4,02 | 20,12 | A Case Study in Parallel Verification of Component-Based Systems
|
| 0,00 | 0,00 | A Case Study in Parallel Verification of Component-Based Systems
|
| 3,28 | 13,10 | Formal verification of systems with an unlimited number of components
|
| 0,00 | 0,00 | Formal Analysis of Component-Based Systems in View of Comp. Interactions
|
| 0,00 | 0,00 | Component Placement in Distributed Environment w.r.t. Component Interaction
|
| 0,00 | 0,00 | Component Substitutability via Equivalencies of Component-Interaction Automata
|
| 0,00 | 0,00 | Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
|
| 6,71 | 20,12 | Component Substitutability via Equivalencies of Component-Interaction Automata
|
| 0,00 | 0,00 | Effective verification of systems with a dynamic number of components
|
| 0,00 | 0,00 | The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
|
| 0,00 | 0,00 | Component-Interaction Automata Approach (CoIn)
|
| 18,06 | 72,24 | CoIn Tool Set
|
| 0,00 | 0,00 | Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
|
| 0,00 | 0,00 | Subject-observer specification with component-interaction automata
|
Back
(c) Michal Bulant, 2011