arrow
返回
D

Djamal Bennouar

ecole normale superieure de kouba

9H指数
46论文数
204被引数
收录论文 5
发表时间
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
err2021-07-01
err12
PREAI
errBaouya, Abdelhakim; Mohamed, Otmane Ait; Ouchani, Samir; Bennouar, Djamal
err分享
err收藏
Safety analysis of train control system based on model-driven design methodology
err2019-02-01
err16
PREAI
errBaouya, Abdelhakim; Mohamed, Otmane Ait; Bennouar, Djamal; Ouchani, Samir
err分享
err收藏
A quantitative verification framework of SysML activity diagrams under time constraints
err2015-11-01
err10
errOAAI
errBaouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; Ouchani, Samir
err分享
err收藏
err分享
err收藏