Prohlížení dle Autor Štětina, Milan
Zobrazují se výsledky 1 až 3 z 3
Datum vydání | Název | Autor |
2020 | Analytic method for automatic test case generation for Function Block Diagram | Ausberger, Tomáš; Kubíček, Karel; Medvecová, Pavla; Myslivec, Tomáš; Štětina, Milan |
2019 | General methodology for building of OPC UA gateways | Ausberger, Tomáš; Štětina, Milan |
2020 | Model Checking application on Function Block Diagram model | Ausberger, Tomáš; Kubíček, Karel; Medvecová, Pavla; Myslivec, Tomáš; Štětina, Milan |