Publikace
- Towards Verification of Ensemble-Based Component Systems2014 | Matematicko-fyzikální fakulta
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- Interoperable domain-specific languages families for code generation2013 | Matematicko-fyzikální fakulta
- DEECo - an Ensemble-Based Component System2013 | Matematicko-fyzikální fakulta
- Design of ensemble-based component systems by invariant refinement2013 | Matematicko-fyzikální fakulta
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Matematicko-fyzikální fakulta
- Towards Dependable Emergent Ensembles of Components: The DEECo Component Model2012 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostřed í +22007 | Matematicko-fyzikální fakulta
- SOFA 2.0: nastavení pokročilých vlastností v hierarchickém komponentovém modelu +22006 | Matematicko-fyzikální fakulta
Loading network view...