Publikace
- Towards Verification of Ensemble-Based Component Systems2014 | Matematicko-fyzikální fakulta
- SOFA 2.0: nastavení pokročilých vlastností v hierarchickém komponentovém modelu +22006 | Matematicko-fyzikální fakulta
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Software Connectors and Their Role in Component Deployment2001 | Matematicko-fyzikální fakulta
- Container-Interposed Transactions2001 | Matematicko-fyzikální fakulta
- Behavior ProtocolsPublikace 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
- Online ML Self-adaptation in Face of Traps2023 | Matematicko-fyzikální fakulta
- Attuning Adaptation Rules via a Rule-Specific Neural Network2022 | Matematicko-fyzikální fakulta
Loading network view...