Login / Signup
Milan Stetina
Publication Activity (10 Years)
Years Active: 2015-2020
Publications (10 Years): 4
Top Topics
Physical Layer
Manufacturing Processes
Petri Net
Temporal Logic
Top Venues
ETFA
APMS (2)
INDIN
</>
Publications
</>
Tomás Ausberger
,
Karel Kubícek
,
Pavla Medvecová
,
Tomás Myslivec
,
Milan Stetina
Analytic method for automatic test case generation for Function Block Diagram.
ETFA
(2020)
Tomás Ausberger
,
Karel Kubícek
,
Pavla Medvecová
,
Tomás Myslivec
,
Milan Stetina
Model Checking application on Function Block Diagram model.
ETFA
(2020)
Jirí Faist
,
Milan Stetina
Webservice-Ready Configurable Devices for Intelligent Manufacturing Systems.
APMS (2)
(2015)
Pavel Balda
,
Milan Stetina
eScop project physical layer development: INCAS conveyor line pilot case study.
INDIN
(2015)