J'utilise les mathématiques pour améliorer la fiabilité des systèmes embarqués

Épisode de Portraits de doctorants par Université européenne de Bretagne · 11 janvier 2010 · 3 min

Intégration des techniques de vérification formelle de modèles dans les processus de développement de logiciels pour les systèmes embarqués.

Autres épisodes de « Portraits de doctorants »

À propos du podcast

Présentation Portraits de doctorants.

Portraits de doctorants

Épisodes similaires

Tous les épisodes de Portraits de doctorants · Plus de podcasts Tv Amp; Film