Ondrej Alexaj
Bakalářská práce
HyperLTL Model Checking
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 7. 5. 2024
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ě
Bakalářský studijní program:
Informační technologie
Práce na příbuzné téma
- Žádné práce na příbuzné téma.
Název
Vložil
Vloženo
Práva
Složky
Soubory
-
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í.