Knowledge Tree

researcher / AHMED MAHJOUB

AHMED MAHJOUB

at_id:

orcid_id:

Disciplines:

Applied sciences

Edit Merge See Links

Directed Thesis:

Une approche formelle pour la spécification et la vérification des systèmes temps-réel