Publications of
Arturo Chavoya Pena, Arturo Sanchez, Kevin Lano
Formal Implementation of Procedural Controllers for Event-Driven Sequential Systems in Chemical Processes
In : Computers and Chemical Engineering, Elsevier, Vol. 24 N. 7, pp. 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
In : International Symposium on Advanced Distributed Systems (ISADS 2000), Guadalajara, Mexique, 08/03/00-10/03/00, (electronic medium), March 2000 (to appear).
Arturo Chavoya Pena, Patricia Gutierrez, Jorge Diaz, Luis Aguirre, Arturo Sanchez
Desarrollo Formal de Sistemas Reactivos en la Industria de Proceso
In : Congreso Internacional de Investigación en Ciencias Computacionales (CIICC 1998), Aguascalientes, Mexique, 03/11/98-06/11/98, pp. 101-106, November 1998 (to appear).
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,
May 2000.