Publications

Export 332 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [Show ALL]
S
[RP-83-02] Silva, M, Velilla S.  1983.  Programmable logic controllers and Petri nets: A comparative study. :83-88.
M
[RP-83-03] Martínez, J, Silva M.  1983.  Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
S
[RP-83-04] Silva, M.  1983.  Lenguajes de programación para robots industriales (Parte I). :35-48.
[RP-83-05] Silva, M, Velilla S.  1983.  Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
[RP-83-06] Silva, M.  1983.  La enseñanza de la Informática en la E.T.S. Ingenieros Industriales de la Universidad de Zaragoza. :165-186.
P
[RP-83-07] Pardos, P, Silva M.  1983.  Un plan de prácticas de sistemas de control muestreados. :279-295.
S
[RP-84-02] Silva, M.  1984.  Lenguajes de programación para robots industriales (Parte II). :39-53.
P
[RP-84-03] Pardos, P, Silva M.  1984.  A robot programming and control system. :92-97.
M
[RP-84-04] Martínez, J, Silva M.  1984.  Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
P
[RP-84-05] Pardos, P, Silva M.  1984.  Hacia la definición de un sistema de programación y control de robots. :139-146.
M
[RP-84-06] Martínez, J, Silva M.  1984.  Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
V
[RP-84-07] Velilla, S, Silva M.  1984.  Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
S
[RP-84-08] Silva, M, Velilla S.  1984.  Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
M
[RP-84-09] Martínez, J, Silva M.  1984.  A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. :72-77.
S
[RP-85-01] Silva, M.  1985.  Las redes de Petri en la Automática y la Informática.
[RP-85-04] Silva, M, David R.  1985.  Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.
[RP-85-06] Silva, M.  1985.  Lenguajes para la programación de robots industriales. :11-80.
M
[RP-85-07] Martínez, J, Silva M.  1985.  Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
[RP-85-08] Martínez, J, Silva M.  1985.  A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.
S
[RP-85-09] Silva, M.  1985.  Tolerancia a fallos en aplicaciones tiempo real. :111-124.
V
[RP-85-10] Villarroel, JL, Silva M.  1985.  Sistema de programación y control de robots con visión artificial. :66-69.
S
[RP-85-11] Silva, M, Velilla S.  1985.  Error detection and correction on Petri net models of discrete control systems. :921-924.
M
[975] Martínez, J, Colom JM, Silva M.  1985.  Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
V
[RP-86-01] Villarroel, JL, Silva M.  1986.  Diseño de un sistema didáctico de programación y control. :97-108.
M
[RP-86-02] Martínez, J, Silva M.  1986.  Nuevos métodos para la especificación del control de sistemas flexibles de fabricación. :185-195.