ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "refinement"
refinement
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
doc. RNDr. Petr Hnětynka Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta
6 předmětů
124 publikací
Předměty
class
Programování v jazyce Java
+1
NPRG013 |
Matematicko-fyzikální fakulta
class
Pokročilé programování v jazyce Java
+1
NPRG021 |
Matematicko-fyzikální fakulta
class
Moderní trendy v informatice
NSWI029 |
Matematicko-fyzikální fakulta
class
Pokročilé nástroje pro vývoj a monitorování software
NSWX126 |
Matematicko-fyzikální fakulta
Publikace
publication
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
2016 |
Matematicko-fyzikální fakulta
publication
The Invariant Refinement Method
2015 |
Matematicko-fyzikální fakulta
publication
Design of ensemble-based component systems by invariant refinement
2013 |
Matematicko-fyzikální fakulta
publication
Dynamic Access Control in Industry 4.0 Systems
2023 |
Matematicko-fyzikální fakulta
publication
Generalization of Machine-Learning Adaptation in Ensemble-Based Self-adaptive Systems
2023 |
Matematicko-fyzikální fakulta
publication
Modeling Machine Learning Concerns in Collective Adaptive Systems
2023 |
Matematicko-fyzikální fakulta
publication
Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures
2023 |
Matematicko-fyzikální fakulta
publication
Towards a Reference Component Model of Edge-Cloud Continuum
2023 |
Matematicko-fyzikální fakulta
publication
Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0
2023 |
Matematicko-fyzikální fakulta
publication
Generating adaptation rule-specific neural network
2023 |
Matematicko-fyzikální fakulta
Načíst další publikace (114)
Loading network view...