Skip to top bar
Skip to header
Skip to application menu
Skip to content
Skip to footer
CS
>
Files
>
Study Materials
>
Study materials posted under the course FI:
IA169
>
Learning Materials
FI:IA169 System Verification and Assurance
Files
Documents
Official notice board
Study Materials
More
Files
Documents
Official notice board
Study Materials
Name
Posted by
Uploaded/Created
Rights
Learning Materials
um
/19
12/6/2020
Folders
Homework 1
tutorials_1
/2
Chalupa, M.
5/10/2020
Homework 3
homework_3
/12
Řehák, V.
9/11/2020
Homework 4
homework_4
/2
Chalupa, M.
24/11/2020
Homework 6
homework_6
/6
Řehák, V.
10/12/2020
lectures
video_lectures
/35
Barnat, J.
4/10/2020
tutorials_2
homework_2
/3
Řehák, V.
27/10/2020
Files
IA169_semester_schedule_2020.pdf
IA169_semester_schedule_2020.txt
IA169_semester_schedule_2020.pdf
Řehák, V.
11/11/2020
IA169_01-Testing.pdf
IA169_01-Testing.txt
IA169_01-Testing.pdf
Barnat, J.
5/10/2020
IA169_02-SymbExec.pdf
IA169_02-SymbExec.txt
IA169_02-SymbExec.pdf
Barnat, J.
5/10/2020
IA169_03-Deductive.pdf
IA169_03-Deductive.txt
IA169_03-Deductive.pdf
Barnat, J.
11/10/2020
IA169_04-LTLMC_1.pdf
IA169_04-LTLMC_1.txt
IA169_04-LTLMC_1.pdf
Barnat, J.
17/10/2020
IA169_05-LTLMC_2.pdf
IA169_05-LTLMC_2.txt
IA169_05-LTLMC_2.pdf
Barnat, J.
26/10/2020
IA169_06-CTLMC.pdf
IA169_06-CTLMC.txt
IA169_06-CTLMC.pdf
Barnat, J.
27/10/2020
IA169_07-Symbolic.pdf
IA169_07-Symbolic.txt
IA169_07-Symbolic.pdf
Barnat, J.
27/10/2020
IA169_08-BoundedMC.pdf
IA169_08-BoundedMC.txt
IA169_08-BoundedMC.pdf
Barnat, J.
30/10/2020
IA169_09-RealTime.pdf
IA169_09-RealTime.txt
IA169_09-RealTime.pdf
Barnat, J.
2/11/2020
IA169_10-Prob.pdf
IA169_10-Prob.txt
IA169_10-Prob.pdf
Barnat, J.
4/11/2020
IA169_11-Abstraction.pdf
IA169_11-Abstraction.txt
IA169_11-Abstraction.pdf
Barnat, J.
5/11/2020
IA169_12-Certif.pdf
IA169_certif_2019_final.txt
IA169_12-Certif.pdf
Barnat, J.
5/11/2020
go to course 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í
.
×
×