Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Laurent Sagaspe

Mots clés

FR

Méthodes formelles

Sûreté de fonctionnement

Systèmes embarqués

Systèmes embarqués (informatique)

Méthodes formelles (informatique)