Výsledky vyhľadávania
- Automated Formal Verification for UML-based Model Driven Design of Embedded Systems
Kardoš Martin ; E220 Frištacký Norbert (škol.) ; I100
STU v Bratislave FIIT, 2005 . - 163 s príl.
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 - Design and test of digital systems (preface)
Frištacký Norbert ; I100 Gramatová Elena ; I100
Computing and Informatics . Vol. 24, No. 5-6 (2005), s.409-413
Digital systems
článok z periodika
BDD - Odborné práce v domácich karentovaných časopisoch
O3 - Odborný výstup publikačnej činnosti z časopisu - A formal description of digital systems inter-module communications
Frištacký Norbert ; I100
ECI 2004 Electronics Computers nad Informatics. Košice - Herľany, September 22-24, 2004 . s.117-124
č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 - A Method for Formal Description of Digital System Inter-Module Communications and Its Application
Káčerík Jozef Frištacký Norbert ; E220
DDECS 2002 : . s.340-343
č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 - Research in Computer Engineering
Frištacký Norbert ; 070400 Hudec Ladislav ; 070400
Journal of Electrical Engineering . Vol. 52, No. 7-8 (2001), s.248-252
výskum počítačové inžinierstvo
článok z periodika
(4) - článok - Dynamický prekladač zápisu špecifikácie z HSSL jazyka
Zeman Viktor Frištacký Norbert (škol.) ; E220 Kardoš Martin (škol.) ; E220
Bratislava : STU v Bratislave FEI, 2000
FEI ; . - 62 s
informatika
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 0 0 1 - Grafický editor na zápis časovacích diagramov : Diplomová práca
Azor Ondrej Frištacký Norbert (škol.) ; E220
Bratislava : STU v Bratislave FEI, 2000
FEI ;
informatika
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 0 0 1 - Preklad zo špecifikačného jazyka HSL do vnútornej formy = Translation from specitication languange HSL to internal structure : Dipl.práca
Fukna Henrich Frištacký Norbert (škol.) ; E220 Káčerík Jozef (škol.)
Bratislava : STU v Bratislave FEI, 1999
FEI ; . - 79 s., disketa
informatika
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 0 0 1 - On the history of computer science, computer engineering, and computer technology development in Slovakia
Dujnic J. Frištacký Norbert ; I100 Molnár Ludovít ; I200 Plander Ivan Rovan Branislav
IEEE Annals of the History of Computing . Vol. 21, No. 3 (1999), s.38-48
článok z periodika
ADC - Vedecké práce v zahraničných karentovaných časopisoch
V3 - Vedecký výstup publikačnej činnosti z časopisu
(4) - článok - Prekladač z jazyka HSSL do jazyka VHDL =Dompiler from HSSL language to VHDL language : Dipl.práca
Panák Miroslav Frištacký Norbert (škol.) ; E220
Bratislava : STU v Bratislave FEI, 1999
FEI ; . - 72 s
informatika
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 0 0 1