Radek Stohl

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Industrial Applications

Electric Vehicles

Formal Analysis

Coloured Petri Nets

Top Venues

Publications

Radek Stohl, Karel Stibor
Safety through common industrial protocol. PDeS (2012)
Radek Stohl, Václav Kaczmarczyk
Industrial comunication in distillation column model. PDeS (2012)
Václav Kaczmarczyk, Petr Fiedler, Radek Stohl, Zdenek Bradác
Electric vehicles charger as a part of home area network. PDeS (2012)