Search results
- 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 - Reports at home scientific conferences
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka - 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 - Scientific titles in home not carented magazines and other year-books
V3 - Vedecký výstup publikačnej činnosti z časopisu
(2) - č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 - Scientific titles in home not carented magazines and other year-books
V3 - Vedecký výstup publikačnej činnosti z časopisu - 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 - Reports at international scientific conferences
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka - 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 - Invited reports at home scientific conferences
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
(1) - č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 - Reports at international scientific conferences
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka - Príspevok k priemyselným komunikačným štandardom
Ďuďák Juraj ; I100 Čičák Pavel (Thesis advisor) ; 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 - Qualificational works (thesis, habilitation, atestation...)Faculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0