RASKIN Jean-François

Computability and complexity(INFO-F408)

ECTS : 5

Formal verification of computer systems(INFO-F412)

ECTS : 5

Embedded systems design(INFO-F410)

ECTS : 5

Embedded systems design(INFO-F410)

ECTS : 5

Masters thesis(MEMO-F524)

ECTS : 20

Formal verification of computer systems(INFO-F412)

ECTS : 5