Functional verification for UML - based model driven design of embedded systems
Kardoš Martin ; E220 
IFIP Series . Vol. 184 From Specification to Embedded Systems Application. IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil (2005), s.103-114
embedded system design UML AsmL formal verification
článok z periodika
ADC - Vedecké práce v zahraničných karentovaných časopisoch
V3 - Vedecký výstup publikačnej činnosti z časopisu

Historická budova
Nižňanský Lukáš ; V  Puškár Anton (škol.) ; V180
Bratislava : STU v Bratislave SvF, 2011
architektonické konštrukcie a projektovanie Architectural Constructions and Design reconstruction historical building rekonštrukcia historická budova
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=69353
diplomová práca

Multilevel Processes Intensification / aut. Zuzana Labovská, Juraj Labovský, Branislav Šulgan, Ľudovít Jelemenský
Labovská Zuzana ; 046230  Labovský Juraj ; 046230 Šulgan Branislav ; 046230 Jelemenský Ľudovít ; 046230
Proceedings of the 47th International Conference of the Slovak Society of Chemical Engineering / . S. 124-124
článok zo zborníka
AFH - Abstrakty príspevkov z domácich konferencií

Požiarny evakuačný plán ako tabuľka pre bezpečnú evakuáciu osôb
Olbřímek Juraj ; V180  Polák Miloš ; V
FIRECO 2013 : . s.345-358
evacuation evakuácia fire protection požiarna ochrana
č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