Publikace
- Interoperable domain-specific languages families for code generation2013 | Matematicko-fyzikální fakulta
- DEECo - an Ensemble-Based Component System2013 | 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
- An Architectural View of Distributed Objects and Components: a Unified View of CORBA, Java RMI and COM/DCOM1998 | Matematicko-fyzikální fakulta
- JDEECo v. 1.0Publikace bez příslušnosti k fakultě
- JDEECo v. 2.0Publikace bez příslušnosti k fakultě
- DCUP: Dynamic Component Updating in Java/CORBA EnvironmentPublikace bez příslušnosti k fakultě
- Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures2023 | Matematicko-fyzikální fakulta
- Generating adaptation rule-specific neural network2023 | Matematicko-fyzikální fakulta
Loading network view...