Nos partenaires

CNRS

Rechercher





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

Publications

Abdeldjalil Boudjadar

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.

 


Livres (monographies) / Books (monographs)

Conférences et workshops internationaux / International conference papers

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Abdeldjalil Boudjadar. Sémantique Compositionnelle et Raffinement de Systèmes Temporisés. Application aux Automates temporisés d'Uppaal et au Langage Fiacre. Thèse de doctorat, Université de Toulouse, décembre 2012.
    BibTeX