Inventaire
Site en anglais
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