3 min

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

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.

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.

3 min

More by Université Européenne de Bretagne