Filtry
Verification of high resolution precipitation forecast by radar-based data
DG - Vědy o atmosféře, meteorologie
- 2016 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
A Platform for Search-Based Testing of Concurrent Software
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Construction of magnetorheological device for finishing of non-metallic materials
Mechanical engineering
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Prediction of Minimum Temperature
DG - Vědy o atmosféře, meteorologie
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Contribution to Prediction of Temperature
KA - Vojenství
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Contribution to maximum temperature prediction
KA - Vojenství
- 2011 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Utilization of Minimum Temperature Prediction
DG - Vědy o atmosféře, meteorologie
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Skin-effect in Conductor of Rectangular Cross-section - Approximate Solution
JA - Elektronika a optoelektronika, elektrotechnika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Laboratory Applications Designed for Support and Verification of Numerical Analyses in Civil Engineering
JN - Stavebnictví
- 2016 •
- O
Rok uplatnění
O - Ostatní výsledky
Verifikační nástroje aplikace PAT
This paper is introducing tools and techniques for verification of complex HW/SW applications with high degree of parallelism. Strength and weakness of each approach is discussed. Example of straightforward LTS verification...
JE - Nejaderná energetika, spotřeba a užití energie
- 2013 •
- O
Rok uplatnění
O - Ostatní výsledky
- 1 - 10 z 6 548