Prohlížení dle autora "Matouš Karel"
-
Implementace rozhraní mezi nástrojem TaSysTest a softwarem EXAM
Autor: Veselka Michal; Vedoucí práce: Sobotka Jan; Oponent práce: Matouš Karel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-26)Cílem této bakalářské práce je implementovat rozhraní testovacího nástroje TaSysTest se softwarem EXAM. TaSysTest je testovací nástroj využívající modely specifikované časovanými automaty pro provádění testů a EXAM je ... -
Implementace softwarového nástroje pro generování integračních testů
Autor: Grus Tomáš; Vedoucí práce: Sobotka Jan; Oponent práce: Matouš Karel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Model okolí řídicí jednotky vozidla v prostředí VERISTAND
Autor: Grus Tomáš; Vedoucí práce: Novák Jiří; Oponent práce: Matouš Karel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)