Login / Signup
Jana Flochová
ORCID
Publication Activity (10 Years)
Years Active: 2003-2020
Publications (10 Years): 2
Top Topics
Ims Ld
Discrete Event
Probabilistic Automata
Petri Net
Top Venues
CoDIT
EBCCSP
</>
Publications
</>
Jana Flochová
,
Ján Pivarcek
,
Peter Kubanda
Timed Automaton and Petri Net models of Intersection Control.
CoDIT
(2020)
Stefan Kristofík
,
Jana Flochová
Tool for Diagnosis of Stochastic Automata.
EBCCSP
(2020)
Jana Flochová
,
Dusan Mudroncík
Industrial control software teaching at the department of ACS FEI STU.
ECC
(2003)