Données Personnelles | Thématiques de recherche | Charges de cours | Publications |
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
ECTS : 20
Formal verification of computer systems (INFO-F412)
ECTS : 5