Publikace
- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Matematicko-fyzikální fakulta
- Towards Verification of Ensemble-Based Component Systems2014 | 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
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | 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
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | 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
Loading network view...