ℹ️
🇬🇧
Search
Search for people relevant for "component ensembles"
component ensembles
Person
Class
Person
Publication
Programmes
Export current view
prof. Ing. František Plášil DrSc.
External academic staff at Faculty of Mathematics and Physics
1 class
125 publications
Class
class
System Behaviour Models and Verification
NSWX101 |
Faculty of Mathematics and Physics
Publications
publication
Towards Verification of Ensemble-Based Component Systems
2014 |
Faculty of Mathematics and Physics
publication
DEECo - an Ensemble-Based Component System
2013 |
Faculty of Mathematics and Physics
publication
Design of ensemble-based component systems by invariant refinement
2013 |
Faculty of Mathematics and Physics
publication
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model
2012 |
Faculty of Mathematics and Physics
publication
JDEECo v. 1.0
Publication without faculty affiliation
publication
JDEECo v. 2.0
Publication without faculty affiliation
publication
Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures
2023 |
Faculty of Mathematics and Physics
publication
Generating adaptation rule-specific neural network
2023 |
Faculty of Mathematics and Physics
publication
Online ML Self-adaptation in Face of Traps
2023 |
Faculty of Mathematics and Physics
publication
Attuning Adaptation Rules via a Rule-Specific Neural Network
2022 |
Faculty of Mathematics and Physics
Load more publications (115)
Loading network view...