SEGMANI Bachir
Contact
Fr
FSA
Fr
Home
Teaching
Research
Contact
SEGMANI Bachir
Research
Scientific production
Research subjects
2
Publications
105
Books
5
Theses
2
Supervised theses
7
Projects
3
Congresses
3
Scientific visits
2
B. Segmani
Research
Research subjects
Research subjects
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
Scientific production
Research subjects
2
Publications
105
Books
5
Theses
2
Supervised theses
7
Projects
3
Congresses
3
Scientific visits
2
Error
×
A problem has occured. Please try again or contact the application's admin.
OK