- Stress testing: conservative calibration and regular verification2010 | Publikace bez příslušnosti k fakultě
- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- Význam histologické verifikace metastáz tumorů2012 | Lékařská fakulta v Hradci Králové
- Prověrka na místě - k některým vybraným problémům2019 | Právnická fakulta
- Pattern-Based Verification for Multithreaded Programs2014 | Matematicko-fyzikální fakulta
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Matematicko-fyzikální fakulta
- Towards Verification of Ensemble-Based Component Systems2014 | Matematicko-fyzikální fakulta
- On Similarities Between Workflow Verification and Grammar Checking2016 | Matematicko-fyzikální fakulta
- Simplifying Verification of Nested Workflows with Extra Constraints2013 | Matematicko-fyzikální fakulta
- Zlepšení specifikace a verifikace vlastností v nástroji BLAST2009 | Matematicko-fyzikální fakulta
- Software pro automatizovanou kontrolu metadat skenovaných mapPublikace bez příslušnosti k fakultě
- Formal Verification of Annotated Textual Use-Cases2015 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Řešení neomezeného paralelismu při verifikaci softwarových komponent2006 | Matematicko-fyzikální fakulta
- Ke kopírování občanského průkazu při ověřování podpisů advokátem2012 | Právnická fakulta
- Ověření mo žností aplikace strojového učeníPublikace bez příslušnosti k fakultě
- Verification of the functionality of the diagnostic of a system with many attenuation elements2016 | 3. lékařská fakulta
- Křížová verifikace pomocí ATP mizarovské MPTP výzvy k řešení problémů2007 | Matematicko-fyzikální fakulta
- Verifikace protokolů chování: řešení problému +12005 | Matematicko-fyzikální fakulta
- VisPlan: Interactive Visualisation and Verification of Plans2011 | Matematicko-fyzikální fakulta
- Verifikace softwarovych komponent: Neomezeny paralelismus2007 | Matematicko-fyzikální fakulta
- Automatická verifikace podmínek v zahnízděných pracovních postupech2012 | Matematicko-fyzikální fakulta
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent: O překladu Behavior protokolů do PromelyPublikace bez příslušnosti k fakultě
- On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task2022 | Matematicko-fyzikální fakulta
- On verification of nested workflows with extra constraints: From theory to practice2014 | Matematicko-fyzikální fakulta
- Histological verification of pulmonary tuberculosis (2)Publikace bez příslušnosti k fakultě
- Histological verification of pulmonary tuberculosis (1)Publikace bez příslušnosti k fakultě
- Variabilita mezi šaržemi reagencií a kalibrátorů a její důsledky pro verifikaci měření2016 | Publikace bez příslušnosti k fakultě
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Matematicko-fyzikální fakulta