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:
IA159
>
Učební materiály
FI:IA159 Formal Verification Methods
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
/18
10. 4. 2009
Složky
Soubory
FuzzTesting.pdf
FuzzTesting.txt
Godefroid et al: Automated Whitebox Fuzz Testing
FuzzTesting.pdf
Strejček, J.
26. 2. 2010
intel.pdf
intel.txt
Replacing Testing with Formal Verification in Intel Core i7...
intel.pdf
Strejček, J.
25. 2. 2010
notes.pdf
notes.txt
The current version of lecture notes
notes.pdf
Strejček, J.
18. 4. 2010
01_intro.pdf
01_intro.txt
01_intro.pdf
Strejček, J.
25. 2. 2010
02_testing.pdf
02_testing.txt
02_testing.pdf
Strejček, J.
21. 5. 2010
03_deductive.pdf
03_deductive.txt
03_deductive.pdf
Strejček, J.
18. 3. 2010
04_acl2.pdf
04_acl2.txt
04_acl2.pdf
Strejček, J.
18. 3. 2010
05_mc.pdf
05_mc.txt
05_mc.pdf
Strejček, J.
18. 4. 2010
06_ltl2ba.pdf
06_ltl2ba.txt
06_ltl2ba.pdf
Strejček, J.
18. 4. 2010
07_por.pdf
07_por.txt
07_por.pdf
Strejček, J.
29. 4. 2010
08_pda.pdf
08_pda.txt
08_pda.pdf
Strejček, J.
29. 4. 2010
09_abs.pdf
09_abs.txt
09_abs.pdf
Strejček, J.
21. 5. 2010
na předmět IA159 Formal Verification Methods
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í
.
×
×