Nos partenaires

CNRS

Rechercher





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

Publications

Arturo Sanchez

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
  • Arturo Chavoya Pena, Arturo Sanchez. Use of Formal Method B in the Development of an Event-Driven Control System for a Batch Plant. Dans : International Symposium on Advanced Distributed Systems (ISADS 2000), Guadalajara, Mexique, 08/03/2000-10/03/2000, (support électronique), mars 2000 (à paraître).
    BibTeX

  • Arturo Chavoya Pena, Patricia Gutierrez, Jorge Diaz, Luis Aguirre, Arturo Sanchez. Desarrollo Formal de Sistemas Reactivos en la Industria de Proceso. Dans : Congreso Internacional de Investigación en Ciencias Computacionales (CIICC 1998), Aguascalientes, Mexique, 03/11/1998-06/11/1998, p. 101-106, novembre 1998 (à paraître).
    BibTeX

Autres types de publications / Other publications
  • Arturo Chavoya Pena, Arturo Sanchez, Kevin Lano. Implementación formal de controladores de procedimientos para sistemas a eventos discretos secuenciales en procesos químicos. Dans : XXI Encuentro Nacional de la AMIDIQ, Guanajuato, Mexique,. mai 2000.
    BibTeX