Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | 2,41 | 14,45 | Partial Order Reduction for State/Event LTL
|
0,00 | 0,00 | A Case Study in Parallel Verification of Component-Based Systems
|
4,02 | 20,12 | A Case Study in Parallel Verification of Component-Based Systems
|
0,00 | 0,00 | Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
|
3,28 | 13,10 | Formal verification of systems with an unlimited number of components
|
0,00 | 0,00 | Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
|
0,00 | 0,00 | Component Substitutability via Equivalencies of Component-Interaction Automata
|
7,22 | 14,45 | Model Checking of Control-User Component-Based Parametrised Systems
|
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 | Component-Interaction Automata Approach (CoIn)
|
0,00 | 0,00 | The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
|
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