Výsledky vyhľadávania
- Timed Automaton and Petri Net models of Intersection Control / aut. Jana Flochová, Ján Pivarček, Peter Kubanda
Flochová Jana ; 066000 Pivarček Ján Kubanda Peter
CoDIT 2020 : . S. 201-205
automata Petri nets tools information technology automobiles
https://ieeexplore.ieee.org/document/9263890
č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 - Traffic lights control based on timed automata / aut. Jana Flochová, Ján Pivarček
Flochová Jana ; 066000 Pivarček Ján
CoDIT 2019 : . S. 1-3
č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 - Modelovanie porúch pomocou stochastických modelov
Pivarček Ján ; I100 Flochová Jana (škol.) ; I100
Bratislava : STU v Bratislave FIIT, 2011 . - 74 s
počítačové a komunikačné systémy a siete Computer and Communication Systems and Networks
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=74781
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 - Model based implementation of supervisors and diagnosers in VHDL code of programmable systems
Flochová Jana ; I100 Hollý Jakub ; I100 Zapatický Michal ; I100 Pivarček Ján ; I100
EUROCON 2011 : . s.90-92
Petriho siete diagnostika chýb programovateľné obvody FPGA supervízorové riadenie
č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 - Virtuálny verifikačný panel s členmi XOR a OR
Pivarček Ján ; I100 Kolesár Milan (škol.) ; I100
STU v Bratislave FIIT, 2009 . - 31 s
počítačové inžinierstvo
bakalárska prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 1 0 0