Retour

Modélisation Sécuritaire : Initiation aux Méthodes Formelles

ECTS : 3

Volume horaire : 21

Document susceptible de mise à jour - 04/02/2026
Université Paris Dauphine - PSL - Place du Maréchal de Lattre de Tassigny - 75775 PARIS Cedex 16