Statistics
Publications
2
Citations
105
H-Index
2
Active since
2002
Affiliations
Kamel Barkaoui is an author at Centre d'Etudes et De Recherche en Informatique et Communications specializing in formal methods, formal verification, and engineering.
Publications per year
2002–2002
2
2
1–2 of 2