ℹ️
🇬🇧
Search
Search for people relevant for "refinement"
refinement
Person
Class
Person
Publication
Programmes
Export current view
doc. RNDr. Petr Hnětynka Ph.D.
Academic staff at Faculty of Mathematics and Physics
6 classes
124 publications
Classes
class
Programming in Java Language
+1
NPRG013 |
Faculty of Mathematics and Physics
class
Advanced Java Programming
+1
NPRG021 |
Faculty of Mathematics and Physics
class
Modern Trends in Computer Science
NSWI029 |
Faculty of Mathematics and Physics
class
Advanced Tools for Software Development and Monitoring
NSWX126 |
Faculty of Mathematics and Physics
Publications
publication
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
2016 |
Faculty of Mathematics and Physics
publication
The Invariant Refinement Method
2015 |
Faculty of Mathematics and Physics
publication
Design of ensemble-based component systems by invariant refinement
2013 |
Faculty of Mathematics and Physics
publication
Dynamic Access Control in Industry 4.0 Systems
2023 |
Faculty of Mathematics and Physics
publication
Generalization of Machine-Learning Adaptation in Ensemble-Based Self-adaptive Systems
2023 |
Faculty of Mathematics and Physics
publication
Modeling Machine Learning Concerns in Collective Adaptive Systems
2023 |
Faculty of Mathematics and Physics
publication
Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures
2023 |
Faculty of Mathematics and Physics
publication
Towards a Reference Component Model of Edge-Cloud Continuum
2023 |
Faculty of Mathematics and Physics
publication
Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0
2023 |
Faculty of Mathematics and Physics
publication
Generating adaptation rule-specific neural network
2023 |
Faculty of Mathematics and Physics
Load more publications (114)
Loading network view...