Práce na stejné téma (mají shodná klíčová slova):
verificationKlíčová slova abecedně | Klíčová slova dle četnosti
Verification of a solver based on a hybrid fictitious domain-immersed boundary method for flows in complex geometries at low to moderate Reynolds numbers
(Ondřej Studeník)2020, Bakalářská práce, Fakulta chemicko-inženýrská / Vysoká škola chemicko-technologická v Praze
• http://theses.cz/id//74i57u// | Nano a mikrotechnologie v chemickém inženýrství / | Práce na příbuzné téma
Experimental verification of a gas meter channel
(Livimba Samuvanga)2021, Diplomová práce, Fakulta strojní / Technická univerzita v Liberci
• http://theses.cz/id//nqlrar// | Mechanical Engineering / Machines and Equipment Design | Práce na příbuzné téma
Quantitative Probabilistic Verification in Distributed Environment
(Jiří Appl)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hrhwt/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Runtime Verification of Linear Temporal Specifications with Degradation
(Tomáš Staňa)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ixwaf/ | Informatika / Matematická informatika | Práce na příbuzné téma