INPT-ENSEEIHT/IRIT

Page Personnelle de
Y
amine AIT-
AMEUR

Accueil

Enseignement

Recherche

Ressources

Depuis Septembre 2011, j'ai rejoint l'équipe de recherche ACADIE de l'IRIT. Mes travaux portent sur la mise en oeuvre de méthodes formelles pour la vérification et la validation de systèmes qu'ils soient logiciels, matériels ou hybrides. Une de mes activités spécifiques traite de la modélisation à base ontologique de systèmes.

Mes thèmes de recherche :

Quelques domaines d'application d'intéret :

Pour me contacter :

Ecole Nationale Supérieure d'électronique, d'électrotechnique, d'Informatique,
d'Hydraulique et de Télécommunications

Institut deRecherche enInformatique de Toulouse

Yamine AIT-AMEUR
Professeur des Universités

INPT-ENSEEIHT/IRIT
Bat. F. Bureau F306
2, Rue Charles Camichel. BP 7122.
31071 Toulouse CEDEX 7. France

yamine@n7.fr

(+33/0) 5 34 32 22 55