ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu ""
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Jaroslav Keznikl Ph.D.
Externí akademický pracovník na Matematicko-fyzikální fakulta
29 publikací
Publikace
publication
Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations
2016 |
Matematicko-fyzikální fakulta
publication
Supporting Performance Awareness in Autonomous Ensembles
2015 |
Matematicko-fyzikální fakulta
publication
Tools for Ensemble Design and Runtime
2015 |
Matematicko-fyzikální fakulta
publication
The Invariant Refinement Method
2015 |
Matematicko-fyzikální fakulta
publication
The Autonomic Cloud
2015 |
Matematicko-fyzikální fakulta
publication
Formalization of Invariant Patterns for the Invariant Refinement Method
2015 |
Matematicko-fyzikální fakulta
publication
Automated resolution of connector architectures using constraint solving (ARCAS method)
2014 |
Matematicko-fyzikální fakulta
publication
Towards Verification of Ensemble-Based Component Systems
2014 |
Matematicko-fyzikální fakulta
publication
Architecture Adaptation Based on Belief Inaccuracy Estimation
2014 |
Matematicko-fyzikální fakulta
publication
Software Engineering for Software-Intensive Cyber-Physical Systems
2014 |
Matematicko-fyzikální fakulta
Načíst další publikace (19)
Loading network view...