AD
Ahmed Taki Eddine Dib

Publications (1)

Une approche formelle basée BRS pour la spécification et la vérification des architectures des systèmes Multi-Agents
Thèse · 2017

Domaines principaux

Sciences mathématiques et statistiques1 Informatique et sciences numériques1

Statistiques

Consultations5
Téléchargements0