Publikace
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí +22007 | Matematicko-fyzikální fakulta
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Behavior Protocol Verification: Fighting State Explosion2005 | Matematicko-fyzikální fakulta
- 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
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects2021 | Matematicko-fyzikální fakulta
- A language and framework for dynamic component ensembles in smart systems2020 | Matematicko-fyzikální fakulta
Loading network view...