Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe SMART > Publications

Publications

Les publications antérieures au 1er janvier 2018 se trouvent dans la rubrique Publications de l’équipe MACAO

SMART

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Conférences et workshops internationaux / International conference papers