Des capteurs à la connaissance : Communiquer et décider- Annuaire
- TEODOROV Ciprian
TEODOROV Ciprian
Enseignant chercheur - ENSTA Bretagne
Équipe :
P4S
Fonction : Maître de Conférences
Téléphone : 02 98 34 89 53
Site internet : http://www.ensta-bretagne.fr/teodorov
Mots-Clés : Spécification formelle, diagnostic, sémantique exécutable, Vérification formelle, débogage.