Prohlížení dle Autor Kubíček, Karel
Zobrazují se výsledky 1 až 8 z 8
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 | Continuous enhancement in model-based software development and recent trends | Kubíček, Karel; Čech, Martin; Škach, Jan |
2022 | Design of robust PI controller by combining robustness regions with time-domain criteria | Žán, Vilém; Kubíček, Karel; Čech, Martin |
2020 | Model Checking application on Function Block Diagram model | Ausberger, Tomáš; Kubíček, Karel; Medvecová, Pavla; Myslivec, Tomáš; Štětina, Milan |
2019 | Modelově orioentovaný vývoj softwaru: řízení spojky automatické převodovky kamionů | Kubíček, Karel |
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 | Vývoj metod pro pokročilou integraci simulačních nástrojů na bázi standardu "FMI 2.0 for Co-Simulation" a její validace na modelu vybraného energetického zařízení | Kubíček, Karel |