Ahmed Amar Debza

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Bayesian Framework

Predicate Calculus

Top Venues

Int. J. Inf. Syst. Model. Des.

Publications

Chafia Bouanaka, Ahmed Amar Debza, Faiza Belala, Nadia Zeghib
A Formal Framework for Scalable Component-Based Systems. Int. J. Inf. Syst. Model. Des. 8 (1) (2017)
Ahmed Amar Debza, Chafia Bouanaka, Nadia Zeghib
Towards rewriting-based formal model for component-based systems verification. ICAASE (2016)