avatar


Profil

Nom: Bouanaka

Prénom: Chafia

Domaines de compétences: Formal Methods, Self-adaptive Systems, Model Checking,

Contacts

+213 5 58 65 28 24
chafia.bouanaka@univ-constantine2.dz

Publications


Titre Auteurs DOI/URL
A hybrid model for efficient decision-making in self-adaptive systems Bouanaka Chafia
Consulter
Formal Specification of Non-Functional Properties of Context-Aware Systems Bouanaka Chafia
Consulter

Communications


Titre DOI/URL Type