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