Výsledky vyhľadávania
- Využitie experimentálneho výskumu na náchylnosť vzniku erózie pôdy
Tomaščík Matúš ; 010160
Zborník príspevkov z 33. konferencie mladých hydrológov, 20. konferencie mladých vodohospodárov, 22. konferencie mladých meteorológov, klimatológov a odborníkov na kvalitu ovzdušia : . USB-kľúč, [12] s.
vodná erózia pôdy erózno-transportný model verifikácia modelu
článok zo zborníka
AFD - Publikované príspevky na domácich vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
článok
- Verifikácia a validácia dynamických modelov
Eliáš Michal ; M6000 Gese Augustín ; M6000
Journal of Information Technologies . Roč. 6, č. 1 (2013), s.17-24
verifikácia modelu validácia modelu model
článok z periodika
ADF - 12/Vedecké práce v domácich nekarentovaných časopisoch ; 13/Vedecké práce v ostatných domácich časopisoch
V3 - Vedecký výstup publikačnej činnosti z časopisu
(2) - článokčlánok
- Návrh metodiky verifikácie a validácie modelov technologických procesov
Gese Augustín ; M6000 Mudrončík Dušan ; M6000
Journal of Information Technologies . Roč. 6, č. 1 (2013), s.10-16
simulácia verifikácia modelu validácia modelu
článok z periodika
ADF - 12/Vedecké práce v domácich nekarentovaných časopisoch ; 13/Vedecké práce v ostatných domácich časopisoch
V3 - Vedecký výstup publikačnej činnosti z časopisučlánok
- Extensible Framework for Graphical Representation of HDL Models and Simulation Results
Jelemenská Katarína ; I100 Hyben Martin ; I100 Jančiga Tomáš ; I100 Kardoš Martin ; I100 Maron Ľubomír ; I100 Süll Zsolt ; I100
Africon 2013 [elektronický zdroj] : . online, s. 860-864
digitálny systém verifikácia modelu Verilog SystemC
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníkačlánok
- Making Digital Systems Design More Convenient to Students by Means of Visualization
Jelemenská Katarína ; I100
ICETA 2013 [elektronický zdroj] : . CD-ROM, s. 183-188
modelovanie systémov verifikácia modelu jazyky pre opis technických prostriedkov vizualizácia štruktúry
z elektronických zdrojov
AFB - Publikované pozvané príspevky na domácich vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
(1) - článokčlánok
- HDL Model Verification Based on Visualization and Simulation
Macko Dominik ; 070400 Jelemenská Katarína ; 070400
WCE 2012 World Congress on Engineering 4-6 July, 2012 Imperial College London, London, U.K, Vol. II . s.1095-1100
digitálny systém návrh hardvéru verifikácia modelu
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníkačlánok
- Príspevok k priemyselným komunikačným štandardom
Ďuďák Juraj ; I100 Čičák Pavel (škol.) ; I100
Bratislava : STU v Bratislave FIIT, 2010 . - 138 s
Petriho siete protokol Modbus verifikácia modelu analýza stavového priestoru
dizertačná práca
DAI - Dizertačné a habilitačné práceFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 
kniha