Université Bordeaux 1 - Master S&T Informatique - Parcours Ingénierie des Systèmes Critiques


Conceptions Formelles

Description

Une approche pragmatique de l'utilisation des méthodes formelles à partir d'études de cas, et de deux techniques éprouvées : le raffinement et la vérification de modèles.

Enseignants

Contrôle des connaissances

Examen écrit de 3h
Contrôle continu

Veuillez reporter toute erreur ou omission à Alain Griffault.

Dernière mise à jour effectuée le 2 octobre 2006.