Browsing by Author Myslivec, Tomáš
Showing results 1 to 10 of 10
Issue Date | Title | Author(s) |
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 | Coordinated jogging algorithm for general serial robot architectures | Švejda, Martin; Myslivec, Tomáš; Goubej, Martin |
2021 | Droneport - dílčí úloha Gripper | Myslivec, Tomáš |
2022 | Droneport: From Concept To Prototype | Bláha, Lukáš; Severa, Ondřej; Barták, Petr; Myslivec, Tomáš; Jáger, Arnold; Reitinger, Jan |
2022 | Droneport: From Concept To Simulation | Severa, Ondřej; Bouček, Zdeněk; Neduchal, Petr; Bláha, Lukáš; Myslivec, Tomáš; Flídr, Miroslav |
2016 | Magnetická levitace: modelování a řízení | Myslivec, Tomáš |
2020 | Model Checking application on Function Block Diagram model | Ausberger, Tomáš; Kubíček, Karel; Medvecová, Pavla; Myslivec, Tomáš; Štětina, Milan |
2018 | Omni-směrové bezpilotní letadlo | Myslivec, Tomáš |
2018 | Omni-směrové bezpilotní letadlo | Myslivec, Tomáš |
2021 | Test case generation for Function Block Diagram based on blocks’ predefined behaviour | Ausberger, Tomáš; Kubíček, Karel; Medvecová, Pavla; Myslivec, Tomáš |