Nástoj pro abstraktní regulární stromový model checking – Patrik Mráz
Patrik Mráz
Bachelor's thesis
Nástoj pro abstraktní regulární stromový model checking
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 25. 8. 2017
Obhajoba závěrečné práce
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Vysoké učení technické v Brně
Bachelor programme:
Informační technologie
Práce na příbuzné téma
- Žádné práce na příbuzné téma.
Názov
Vložil
Vložené
Práva
-
Co je jinak přidání souboru
Soubor nebo složku lze nahrát pomocí tlačítka Přidat. -
Co je jinak další operace se soubory
Podrobnosti lze zjistit označením příslušného řádku. -
Co je jinak pohled pro experty
Pro častou práci je možné zvolit režim Více možností. -
Co je nové vyhledávání souborů
Vyhledávaný výraz můžete zadat přímo do adresního řádku. -
Co je nové rychlý přístup k souborům
Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou. -
Co se chystá
Připravujeme další vylepšení pro mobilní zařízení.