Ján Pivarcek

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 1

Top Topics

Embedded Real Time Systems

Service Composition

Petri Net Model

Top Venues

Publications

Jana Flochová, Ján Pivarcek, Peter Kubanda
Timed Automaton and Petri Net models of Intersection Control. CoDIT (2020)
Jana Flochova, Jakub Holly, Michal Zapaticky, Ján Pivarcek
Model based implementation of supervisors and diagnosers in VHDL code of programmable systems. EUROCON (2011)