Knowledge Tree

researcher / Slim Medimegh

Slim Medimegh

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués