Publications
- Towards Verification of Ensemble-Based Component Systems2014 | Faculty of Mathematics and Physics
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Faculty of Mathematics and Physics
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective +12005 | Faculty of Mathematics and Physics
- Getting 'Whole Picture' Behavior in a Use Case Model2003 | Faculty of Mathematics and Physics
- Getting'Whole Picture' Behavior in a Use Case Model2003 | Faculty of Mathematics and Physics
- Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures2023 | Faculty of Mathematics and Physics
- Generating adaptation rule-specific neural network2023 | Faculty of Mathematics and Physics
- Online ML Self-adaptation in Face of Traps2023 | Faculty of Mathematics and Physics
Loading network view...