Search results
- Príspevok k metódam a algoritmom automatického generovania funkčných testov procesorov
Hudec Ján ; I100 Gramatová Elena (Thesis advisor) ; I100
Bratislava : STU v Bratislave FIIT, 2014
genetic algorithm verification testing test generation genetický algoritmus generovanie testov verifikácia testovanie
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=77272
dizertačná práca
DAI - Qualificational works (thesis, habilitation, atestation...) - Modelovanie a plánovanie materiálového toku vo výrobnom systéme. : dizertačná práca
Zuzicová Katarína ; M2000 Pecháček František (Thesis advisor) ; M2000
Trnava : STU v Bratislave MTF UVSM, 2013 . - 123 s
Production Devices and Systems verification priority rules material flow simulation verifikácia simulácia materiálový tok
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=78541
dizertačná práca
DAI - Qualificational works (thesis, habilitation, atestation...)Faculty Available Inaccesible Issued For Request Only MTF 0 0 0 1