Browsing Bakalářské práce - 13138 by Author "Matěj Šťastna"
Now showing items 1-1 of 1
-
Návrh a implementace algoritmu simulace sítí časovaných automatů
Author: Matěj Šťastna; Supervisor: Krejčí Lukáš; Opponent: Pospíšil Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-24)Cílem této bakalářské práce je návrh a implementace nového simulačního algoritmu průchodu sítí časovaných automatů simulačního nástroje Taster. V úvodní části je nejprve seznámení s problematikou integračního testování a ...