Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Clément Ballabriga

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.

 


Conférences et workshops internationaux / International conference papers

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Clément Ballabriga. Vérification de contraintes temporelles strictes sur des programmes par composition d'analyses partielles. Thèse de doctorat, Université Paul Sabatier, septembre 2010.
    BibTeX