U bent hier

Formal Verification of Computer Systems

Formal Verification of Computer Systems

5 ECTS-credits
125 uur studietijd

Aanbieding 1 met studiegidsnummer 4018164FNR voor alle studenten in het 2de semester met een gespecialiseerd master niveau.

De informatie over dit studiedeel is van toepassing op het academiejaar 2017-2018.

Semester
2de semester
Inschrijving onder examencontract
Onmogelijk
Beoordelingsvoet

Beoordeling (0 tot 20)

2e zittijd mogelijk
Ja
Onderwijstaal
Frans
Onder samenwerkingsakkoord
  • Onder uitwisselingsakkoord mbt studiedelen
Faculteit
Faculteit Wetenschappen en Bio-ingenieurswetensch.
Vakgroep
Computerwetenschappen
Onderwijsteam:
  • Decaan WE (titularis)
    External partner(s)
    Université Libre de Bruxelles
    Onderdelen en contacturen
    • 36 contacturen Hoorcollege
    • 12 contacturen Werkvormen en Praktische Oef.
    Inhoud

    .

    Bijkomende info

    .

    Leerresultaten

    Algemene competenties

    .

    Beoordelingsinformatie

    De beoordeling bestaat uit volgende opdrachtcategorieën:

    • Examen Andere bepaalt 100% van het eindcijfer.

    Binnen de categorie Examen Andere dient men volgende opdrachten af te werken:

    Examen met een wegingsfactor 1 en aldus 100% van het totale eindcijfer.

    Aanvullende info met betrekking tot examinering

    .