arrow
返回
A

Ahmed Hadj Kacem

universite de sfax

5H指数
24论文数
61被引数
收录论文 3
发表时间
Specification and automatic checking of architecture constraints on object oriented programs
err2018-09-01
err2
errOAAI
errKallel, Sahar; Tibermacine, Chouki; Kallel, Slim; Kacem, Ahmed Hadj; Dony, Christophe
err分享
err收藏
An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability
err2016-12-01
err1
errOAAI
errKhlif, Houda; Kacem, Hatem Hadj; Pomares Hernandez, Saul E.; Kacem, Ahmed Hadj; Eichler, Cedric; Calixto Simon, Alberto
err分享
err收藏