Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na aplikační menu
Přeskočit na obsah
Přeskočit na patičku
EN
>
Soubory
>
Studijní materiály
>
Studijní materiály předmětu FI:
IA169
>
Učební materiály
FI:IA169 System Verification and Assurance
Soubory
Dokumenty
Úřední deska
Studijní materiály
Více
Soubory
Dokumenty
Úřední deska
Studijní materiály
Název
Vložil
Vloženo
Práva
Učební materiály
um
/15
26. 3. 2019
Složky
Soubory
IA169_certif_2019_final.pdf
IA169_certif_2019_final.txt
IA169_certif_2019_final.pdf
Matyáš, V.
15. 11. 2019
IA169_semester_schedule_2019.pdf
IA169_semester_schedule_2019.txt
IA169_semester_schedule_2019.pdf
Řehák, V.
31. 10. 2019
IA169_01-Testing.pdf
IA169_01-Testing.txt
IA169_01-Testing.pdf
Barnat, J.
19. 9. 2019
IA169_02-SymbExec.pdf
IA169_02-SymbExec.txt
IA169_02-SymbExec.pdf
Barnat, J.
19. 9. 2019
IA169_03-LTLMC_1.pdf
IA169_03-LTLMC_1.txt
IA169_03-LTLMC_1.pdf
Barnat, J.
2. 10. 2019
IA169_04-LTLMC_2.pdf
IA169_04-LTLMC_2.txt
IA169_04-LTLMC_2.pdf
Barnat, J.
19. 9. 2019
IA169_05-CTLMC.pdf
IA169_05-CTLMC.txt
IA169_05-CTLMC.pdf
Barnat, J.
19. 9. 2019
IA169_06-Symbolic.pdf
IA169_06-Symbolic.txt
IA169_06-Symbolic.pdf
Barnat, J.
19. 9. 2019
IA169_07-Deductive.pdf
IA169_07-Deductive.txt
IA169_07-Deductive.pdf
Barnat, J.
19. 9. 2019
IA169_08-BoundedMC.pdf
IA169_08-BoundedMC.txt
IA169_08-BoundedMC.pdf
Barnat, J.
19. 9. 2019
IA169_09-RealTime.pdf
IA169_09-RealTime.txt
IA169_09-RealTime.pdf
Barnat, J.
19. 9. 2019
IA169_10-Prob.pdf
IA169_10-Prob.txt
IA169_10-Prob.pdf
Barnat, J.
19. 9. 2019
IA169_11-Abstraction.pdf
IA169_11-Abstraction.txt
IA169_11-Abstraction.pdf
Barnat, J.
4. 12. 2019
na předmět IA169 System Verification and Assurance
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í
.
×
×