Nos partenaires

CNRS

Rechercher





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

Publications

Benoît Caillaud

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
  • Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet. Application of Interface Theories to the Separate Compilation of Synchronous Programs (regular paper). Dans : IEEE Conference on Decision and Control (CDC 2012), Hawaii, USA, 10/12/2012-13/12/2012, IEEE, (support électronique), décembre 2012.
    BibTeX

  • Benoît Caillaud, Jean-Baptiste Raclet. Ensuring Reachability by Design (regular paper). Dans : International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), Bangalore, Inde, 24/09/2012-27/09/2012, Springer, p. 213-227, septembre 2012.
    BibTeX