CS5006 - Formal methodes based V & V part 1

CS5006 - Formal methodes based V & V part 1

The course will soon be available on the website.

In brief

ECTS credits : cf Teaching Unit

Teaching language
Anglais

Contact(s)

Responsable pédagogique

Jean-François VERON

Phone : 0562174364

Email : jean-francois.veron @ enac.fr