Milan Stetina

According to our database, Milan Stetina authored at least 4 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2020

Model Checking application on Function Block Diagram model.

Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Tomás Myslivec, Milan Stetina

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Analytic method for automatic test case generation for Function Block Diagram.

Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Tomás Myslivec, Milan Stetina

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2015

eScop project physical layer development: INCAS conveyor line pilot case study.

Pavel Balda, Milan Stetina

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Webservice-Ready Configurable Devices for Intelligent Manufacturing Systems.

Jirí Faist, Milan Stetina

Proceedings of the Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth, 2015