Get started
Author

Mohammed Senouci

OpenAlex ID: A5025836665
Formal validation of model transformation with Coq proof assistant
2015 · Karima Berramla, El Abbassia Deba, et al. · International Conference on New Technologies of Information and Communication (NTIC) · 7
Road Sign Identification with Convolutional Neural Network Using TensorFlow
2021 · Mohammed Kherarba, Mounir Tahar Abbes, et al. · Lecture notes in computer science · 4
Works count: 2
Citation count: 11
H-index: 2
I10-index:
Year
Topic
Type