Prohlížení dle Autor Ausberger, Tomáš
Zobrazují se výsledky 1 až 7 z 7
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 |
2015 | OPC UA servery a jejich použití pro přenos dat řídicích systémů | Ausberger, Tomáš |
2021 | Test case generation for Function Block Diagram based on blocks’ predefined behaviour | Ausberger, Tomáš; Kubíček, Karel; Medvecová, Pavla; Myslivec, Tomáš |
2022 | Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing | Ausberger, Tomáš; Kubíček, Karel; Medvecová, Pavla; Wolf, Jindřich |
2017 | Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací | Ausberger, Tomáš |