Rechercher
Espace privé
FR
EN
Labsticc
Lab-STICC
Présentation
Agenda
Offres d'emploi
Contact
Structuration
Gouvernance
Bretagne Océane
Parité-égalité F/H
GT environnement
Annuaire
Actualités
Pôles
CyR
DMID
IA & Océan
Interaction
MATRF
SHARP
SHM
SyPH
T2I3
Équipes
Publications
Actions transverses et Plateformes
Capteurs
Cyber
Industrie du Futur
Intelligence Artificielle
Space
Drones
Techyp
Rechercher
Des capteurs à la connaissance : Communiquer et décider
Annuaire
TEODOROV Ciprian
TEODOROV Ciprian
Enseignant chercheur - ENSTA Bretagne
Équipe :
P4S
Fonction :
Professeur des universités
Téléphone :
02 98 34 89 53
Adresse email :
Site internet :
http://www.ensta-bretagne.fr/teodorov
Mots-Clés :
Spécification formelle
,
diagnostic
,
sémantique exécutable
,
Vérification formelle
,
débogage
.
Publications (HAL)