ℹ️
🇬🇧
Search
Search for people relevant for "Introduced"
Introduced
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
Interoperable domain-specific languages families for code generation
2013 |
Faculty of Mathematics and Physics
publication
Design of ensemble-based component systems by invariant refinement
2013 |
Faculty of Mathematics and Physics
publication
Property networks allowing oracle-based mode-change propagation in hierarchical components
2012 |
Faculty of Mathematics and Physics
publication
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model
2012 |
Faculty of Mathematics and Physics
publication
Enhancing Component Specification by Behavior Description - the SOFA Experience
+1
2005 |
Faculty of Mathematics and Physics
publication
Getting 'Whole Picture' Behavior in a Use Case Model
2003 |
Faculty of Mathematics and Physics
publication
Getting'Whole Picture' Behavior in a Use Case Model
2003 |
Faculty of Mathematics and Physics
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
Load more publications (115)
Loading network view...