Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[RP-82-04] Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :51-57.
.
1982.
[RP-82-05] Sistemas concurrentes descritos con RdP: Validación asistida por computador. :126-134.
.
1982.
[RP-82-06] A package for computer design of concurrent logic control systems. :221-226.
.
1982.
.
1982.
[RP-83-01] A package for computer design of concurrent logic control systems. :243-248.
.
1983.
[RP-83-02] Programmable logic controllers and Petri nets: A comparative study. :83-88.
.
1983.
[RP-83-03] Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
.
1983.
[RP-83-04] Lenguajes de programación para robots industriales (Parte I). :35-48.
.
1983.
[RP-83-05] Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
.
1983.
.
1983.
[RP-83-07] Un plan de prácticas de sistemas de control muestreados. :279-295.
.
1983.
[RP-84-02] Lenguajes de programación para robots industriales (Parte II). :39-53.
.
1984.
[RP-84-03] A robot programming and control system. :92-97.
.
1984.
.
1984.
[RP-84-05] Hacia la definición de un sistema de programación y control de robots. :139-146.
.
1984.
[RP-84-06] Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
.
1984.
[RP-84-07] Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
.
1984.
[RP-84-08] Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
.
1984.
.
1984.
.
1985.
[RP-85-04] Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.
.
1985.
[RP-85-06] Lenguajes para la programación de robots industriales. :11-80.
.
1985.
[RP-85-07] Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
.
1985.
.
1985.
[RP-85-09] Tolerancia a fallos en aplicaciones tiempo real. :111-124.
.
1985.