ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Updated"
Updated
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
Component Composition Errors and Update Atomicity: Static Analysis
2005 |
Matematicko-fyzikální fakulta
publication
Behavior Protocols Capturing Errors and Updates
2003 |
Matematicko-fyzikální fakulta
publication
SOFA/DCUP Architecture for Component Trading and Dynamic Updating
1998 |
Matematicko-fyzikální fakulta
publication
DCUP: Dynamic Component Updating in Java/CORBA Environment
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
publication
Targeting uncertainty in smart CPS by confidence-based logic
2021 |
Matematicko-fyzikální fakulta, Ústřední knihovna
publication
Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects
2021 |
Matematicko-fyzikální fakulta
Načíst další publikace (115)
Loading network view...