- Verifikace softwarových komponent: O překladu Behavior protokolů do PromelyPublikace bez příslušnosti k fakultě
- Improved building up a model of toxicity towards Pimephales promelas by the Monte Carlo method2016 | 1. lékařská fakulta
- Validation of the Hybrid ERTMS/ETCS Level 3 using Spin2020 | Matematicko-fyzikální fakulta
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Matematicko-fyzikální fakulta
- Ověřování softwarových komponent s použitím Behavior Protocols a Spinu2007 | Matematicko-fyzikální fakulta
- EBP CheckerPublikace bez příslušnosti k fakultě
- Rozšíření Behavior Protocols2007 | Matematicko-fyzikální fakulta