Introduction to formal methods

Catalog of Télécom SudParis courses

Code

IGFE NET 7236

Domain

Réseaux

Program

Master

Language

English

ECTS Credits

3

Class hours

45

Organisation

Cours/TD/TP/projet/examen :