Publications de
Arturo Chavoya Pena, Arturo Sanchez, Kevin Lano
Formal Implementation of Procedural Controllers for Event-Driven Sequential Systems in Chemical Processes
Dans : Computers and Chemical Engineering, Elsevier, Vol. 24 N. 7, p. 297-302, 2000.
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/00-10/03/00, (support électronique), mars 2000 (à paraître).
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/98-06/11/98, p. 101-106, novembre 1998 (à paraître).
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.