Search results
- Automatická podpora vývoja UML diagramov transformáciou modelov
Lajda Miroslav ; E Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2012 . - 68 s CD-ROOM
Applied Infromatics UML OCL
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=81489
diplomová prácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 - Verifikácia konkurentných programov napísaných v jazyku JAVA
Šajtlava Igor ; E Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2012 . - 99 s
Applied Infromatics model checking verifikácia
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71828
diplomová prácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 - Využitie moderných ICT v rehabilitácii pacientov
Hatala Matej ; E Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2011 . - 76 s
Aplikovaná informatika web application information system diagnostics rehabilitation informačný systém rehabilitácia Applied Infromatics ICT in education
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71798
diplomová prácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 - Konštrukcia Buchiho automatov z formúl logiky LTL
Plevko Ján ; E Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2011 . - 61 s
Aplikovaná informatika Applied Infromatics verifikačné protokoly
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71860
diplomová prácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 - Verifikácia konkurentných programov napísaných v jazyku C
Mészáros Martin ; E Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2011 . - 64 s
Aplikovaná informatika Applied Infromatics verifikácia projektového plánu
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71816
diplomová prácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 - Verifikácia komunikačných protokolov
Michalica Martin ; E Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2010 . - 80 s
Aplikovaná informatika verifikačné protokoly
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=51324
diplomová práca - Modely systémov reálneho času
Slovák Matúš ; E Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2010 . - 56 s
Aplikovaná informatika modelovanie systémov reaktívne riadenie
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=50848
diplomová práca