Hopp til hovedinnhold
UiO
Universitetet i Oslo
Søk i nettsidene til UiO
Søk
Forsiden
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om UiO
Personer
Meny
English website
For ansatte
Mine studier
Undermeny
Studier
Emner
Matematikk og naturvitenskap
Informatikk
INF5150
Høst 2011
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF5150
>
Høst 2011
Dette emnet er erstattet av
IN5130 – Uangripelige IT-systemer
.
INF5150 - Uangripelige IT-systemer
Semesterside for INF5150 - Høst 2011
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Notes
Written material for download
Installation of the modeling tool
Obligatory Exercise 1 (Modeling)
Obligatory Exercise 2 (Refinement)
Obligatory Exercise 3 (Security Analysis) - Final Deadline November 17
Contact us
Administration and teachers
Beskjeder
The lecture notes and other …
27. aug. 2011 13:32