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
>
Homework 3
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
Homework 3
homework_3
/12
Řehák, V.
9. 11. 2020
Složky
shared_mazes
shared_mazes
/26
Řehák, V.
24. 11. 2020
Soubory
LTL_handout.pdf
LTL_handout.txt
LTL_handout.pdf
Řehák, V.
9. 11. 2020
LTL_solution.pdf
LTL_solution.txt
LTL_solution.pdf
Řehák, V.
9. 11. 2020
CTL_handout.pdf
CTL_handout.txt
CTL_handout.pdf
Řehák, V.
9. 11. 2020
CTL_solution.pdf
CTL_solution.txt
CTL_solution.pdf
Řehák, V.
9. 11. 2020
NuSMV_CMU_lecture_slides.pdf
NuSMV_CMU_lecture_slides.txt
NuSMV_CMU_lecture_slides.pdf
Řehák, V.
9. 11. 2020
NuSMV_tutorial.pdf
NuSMV_tutorial.txt
NuSMV_tutorial.pdf
Řehák, V.
9. 11. 2020
NuSMV_user_manual.pdf
NuSMV_user_manual.txt
NuSMV_user_manual.pdf
Řehák, V.
9. 11. 2020
nuxmv-user-manual.pdf
nuxmv-user-manual.txt
nuxmv-user-manual.pdf
Řehák, V.
9. 11. 2020
icn2004.pdf
icn2004.txt
icn2004.pdf
Řehák, V.
9. 11. 2020
fmics2006.pdf
fmics2006.txt
fmics2006.pdf
Řehák, V.
9. 11. 2020
hw03.zip
Řehák, V.
9. 11. 2020
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í
.
×
×