Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
Søk i nettsidene til UiO
Søk
Forsiden
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om UiO
Personer
Undermeny
Studier
Emner
Matematikk og naturvitenskap
Informatikk
INF5140
Vår 2017
handouts
slides
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF5140
>
Vår 2017
>
slides
Dette emnet er erstattet av
IN5110 – Specification and Verification of Parallel Systems
.
INF5140 - Vår 2017
slides
01-formalmethods.pdf
Sist endret 20. jan. 2017 10:17 av
Martin Steffen
02-fo-ltl.pdf
Sist endret 3. feb. 2017 10:40 av
Volker Stolz
03-lmc.pdf
Sist endret 3. mars 2017 11:25 av
Volker Stolz
bdd-presentation_loïc_massin.pdf
Sist endret 26. mai 2017 11:24 av
Volker Stolz
bmc.pdf
Sist endret 7. apr. 2017 14:50 av
Martin Steffen
clt-antonio.pdf
Sist endret 1. juni 2017 06:51 av
Martin Steffen
mcandpetrinets-gkolfi.pdf
Sist endret 12. juni 2017 15:26 av
Martin Steffen
runtime-verification.pdf
Sist endret 20. apr. 2017 16:02 av
Volker Stolz
spinpromela.pdf
Sist endret 28. apr. 2017 12:01 av
Martin Steffen
µ_calculus_daniel.pdf
Sist endret 26. mai 2017 11:27 av
Volker Stolz
RSS-strøm fra denne siden