ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "component ensembles"
component ensembles
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
prof. Ing. František Plášil DrSc.
Externí akademický pracovník na Matematicko-fyzikální fakulta
1 předmět
125 publikací
Předmět
class
Modely a verifikace chování systémů
NSWX101 |
Matematicko-fyzikální fakulta
Publikace
publication
Towards Verification of Ensemble-Based Component Systems
2014 |
Matematicko-fyzikální fakulta
publication
DEECo - an Ensemble-Based Component System
2013 |
Matematicko-fyzikální fakulta
publication
Design of ensemble-based component systems by invariant refinement
2013 |
Matematicko-fyzikální fakulta
publication
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model
2012 |
Matematicko-fyzikální fakulta
publication
JDEECo v. 1.0
Publikace bez příslušnosti k fakultě
publication
JDEECo v. 2.0
Publikace bez příslušnosti k fakultě
publication
Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures
2023 |
Matematicko-fyzikální fakulta
publication
Generating adaptation rule-specific neural network
2023 |
Matematicko-fyzikální fakulta
publication
Online ML Self-adaptation in Face of Traps
2023 |
Matematicko-fyzikální fakulta
publication
Attuning Adaptation Rules via a Rule-Specific Neural Network
2022 |
Matematicko-fyzikální fakulta
Načíst další publikace (115)
Loading network view...