- Doporučení pro validace a verifikace postupů laboratorních vyšetření ve zdravotnických laboratořích2021 | Publikace bez příslušnosti k fakultě
- Význam histologické verifikace metastáz tumorů2012 | Lékařská fakulta v Hradci Králové
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Řetězení stavového prostoru: nová metoda distribuované verifikace +12007 | Matematicko-fyzikální fakulta
- Variabilita mezi šaržemi reagencií a kalibrátorů a její důsledky pro verifikaci měření2016 | Publikace bez příslušnosti k fakultě
- Automatická verifikace podmínek v zahnízděných pracovních postupech2012 | Matematicko-fyzikální fakulta
- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- Metody verifikace teorií stárnutí +11999 | Farmaceutická fakulta v Hradci Králové
- Morfologická verifikace nádorového uzávěru portální žíly1995 | Ústřední knihovna, 3. lékařská fakulta
- Verifikace protokolů chování: řešení problému +12005 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent: O překladu Behavior protokolů do PromelyPublikace bez příslušnosti k fakultě
- Řešení neomezeného paralelismu při verifikaci softwarových komponent2006 | Matematicko-fyzikální fakulta
- K metodám verifikace v lingvistice2005 | Filozofická fakulta
- Praktické problémy verifikace +12007 | Publikace bez příslušnosti k fakultě
- Verifikace modelu kvality ovzduší s užitím letových měření lodních vleček2008 | Matematicko-fyzikální fakulta
- Cesta k formálně verifikovanému obecnému operačnímu systému2010 | Matematicko-fyzikální fakulta
- Verifikace použitelnosti stříbrné amalgámové elektrody pro stanovení vybraných těžkých kovů v rostlinném materiáluPublikace bez příslušnosti k fakultě
- Zlepšení specifikace a verifikace vlastností v nástroji BLAST2009 | Matematicko-fyzikální fakulta
- Návrh a pilotní verifikace terénních testů pro thajský box2010 | 1. lékařská fakulta, Fakulta tělesné výchovy a sportu
- Verifikace a validace prostředků IVD +12007 | Publikace bez příslušnosti k fakultě
- Peroperační verifikace integrity kolorektální anastomózy2015 | 2. lékařská fakulta
- Verifikace softwarovych komponent: Neomezeny paralelismus2007 | Matematicko-fyzikální fakulta
- Verifikace modelování lodních vleček a jejich vliv na kvalitu ovzduší a klimatickou změnu v projektu 6.RP EC QUANTIFY2007 | Publikace bez příslušnosti k fakultě
- Modelování lodních vleček, verifikace a jejich důsledky pro kvalitu ovzduší a klimatickou změnu v projektu EC 6FP QUANTIFY2007 | Publikace bez příslušnosti k fakultě
- Verifikace mohylníků v Bulharsku, metody a předběžné výsledky z regionů Stará Zagora, Jambol a Pazardžik2013 | Filozofická fakulta