Publikace
- Towards Verification of Ensemble-Based Component Systems2014 | Matematicko-fyzikální fakulta
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Matematicko-fyzikální fakulta
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Matematicko-fyzikální fakulta
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí +22007 | Matematicko-fyzikální fakulta
- Behavior Protocol Verification: Fighting State Explosion2005 | Matematicko-fyzikální fakulta
- Addressing State Explosion in Behavior Protocol Verification2004 | Matematicko-fyzikální fakulta
- Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures2023 | Matematicko-fyzikální fakulta
- Generating adaptation rule-specific neural network2023 | Matematicko-fyzikální fakulta
- Online ML Self-adaptation in Face of Traps2023 | Matematicko-fyzikální fakulta
Loading network view...