SEGMANI Bachir
Contact
En
FSA
En
Accueil
Enseignement
Recherche
Contact
SEGMANI Bachir
Recherche
Production scientifique
Sujets de recherche
2
Publications
105
Ouvrages
5
Thèses
2
Thèses encadrées
7
Projets
3
Congrès
3
Visites scientifiques
2
B. Segmani
Recherche
Derniers sujets de recherche
Sujet de recherche: Un cadre general de causalite base sur les traces pour des systemes a composants
Sujet de recherche: Finding inductive invariants using satisfiability modulo theories and convex optimization
Activité de recherche par année
Production scientifique
Sujets de recherche
2
Publications
105
Ouvrages
5
Thèses
2
Thèses encadrées
7
Projets
3
Congrès
3
Visites scientifiques
2
Erreur
×
Un problème est survenu. Veuillez réessayer ou contacter l'administrateur de l'application.
OK