Výsledky vyhľadávania
- Development of IoT applications based on the MicroPython platform for Industry 4.0 implementation / aut. Gabriel Gašpar, Peter Fabo, Michal Kuba, Jana Flochová, Juraj Ďuďák, Zuzana Florková
Gašpar Gabriel ; 066000 Fabo Peter Kuba Michal Flochová Jana ; 066000 Ďuďák Juraj ; 066000 Florková Zuzana
Mechatronika 2020 : . S. 1-7
MicroPython IoT Industry 4.0
https://ieeexplore.ieee.org/document/9286455
č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 - Tool for Diagnosis of Stochastic Automata / aut. Štefan Krištofík, Jana Flochová
Krištofík Štefan ; 070400 Flochová Jana ; 066000
EBCCSP 2020 : . S. 1-3
discrete event systems stochastic automata stochastic diagnosers tool
č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 - 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 - Supervisors of Petri nets / aut. Jana Flochová, Tomáš Lojan
Flochová Jana ; 066000 Lojan Tomáš
Vedecké práce MtF STU v Bratislave so sídlom v Trnave. Research papers Faculty of Materials Science and Technology Slovak University of Technology in Trnava . Vol. 27, no. 45 (2019), s. 33-41
discrete event systems supervisory control Petri nets reachability tree
https://www.researchpapers.mtf.stuba.sk/wp-content/uploads/2019/11/VP45_06_2019_Flochova.pdf
článok z periodika
ADF - 12/Vedecké práce v domácich nekarentovaných časopisoch ; 13/Vedecké práce v ostatných domácich časopisoch
V3 - Vedecký výstup publikačnej činnosti z časopisu - PNEts - the VerificationTool Based on Petri Nets
Siebert Miroslav ; I100 Flochová Jana ; I100
WCE 2013 World Congress on Engineering 3-5 July, Imperial College London, London, U.K. Vol. I . s.369-373
návrh verifikačný nástroj Petriho siete vlastnosti
č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 - Pnets - The verification tool based on petri nets / aut. Miroslav Siebert, Jana Flochová
Siebert Miroslav ; 070400 Flochová Jana ; 070400
WCE 2013 : . S.
č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 - Modeling IMS Service Sharing System using Petri nets
Kováčik Tomáš ; I100 Flochová Jana ; I100 Hollý Jakub ; I100
Proceedings ELMAR-2012 : . s.157-160
NGN IMS zdieľanie služieb Model Petriho sietí
č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 - 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 - On Industrial Techniques and Real-time Information Technology Teaching
Flochová Jana ; I100 Mudrončík Dušan ; M6000 Mrafko Leo ; E011
Selected Topics in Modelling and Control. Vol. 7 . s.100-105
článok zo zborníka
AED - Vedecké práce v domácich recenzovaných vedeckých zborníkoch, monografiách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka