Publikace
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed2019 | Matematicko-fyzikální fakulta
- Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems2016 | Matematicko-fyzikální fakulta
- The Invariant Refinement Method2015 | Matematicko-fyzikální fakulta
- Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS2015 | Matematicko-fyzikální fakulta
- Formalization of Invariant Patterns for the Invariant Refinement Method2015 | Matematicko-fyzikální fakulta
- Gossiping Components for Cyber-Physical Systems2014 | Matematicko-fyzikální fakulta
- Software Engineering for Software-Intensive Cyber-Physical Systems2014 | Matematicko-fyzikální fakulta
- An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments2014 | Matematicko-fyzikální fakulta
- DEECo: an Ecosystem for Cyber-Physical Systems2014 | Matematicko-fyzikální fakulta
Loading network view...