ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "CTL"
CTL
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
FOAM : A Lightweight Method for Verification of Use-Cases
2012 |
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
publication
Machine-learning abstractions for component-based self-optimizing systems
2023 |
Matematicko-fyzikální fakulta
publication
Model-based Confidentiality Analysis under Uncertainty
2023 |
Matematicko-fyzikální fakulta
Načíst další publikace (114)
Loading network view...