Publications

Export 319 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is M. Silva  [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 
S
[1343] Silva, M, Martínez J, Colom JM.  1985.  STAR: A Software Tool for Validating Concurrent Systems. Programming - KTSG Technical Week. :74-75.
[RP-88-03] Velilla, S, Silva M.  1988.  The spy: a mechanism for safe implementation of highly concurrent systems. :95-102.
[RP-89-01] Velilla, S, Silva M.  1989.  The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
[RP-86-09] Martínez, J, Silva M.  1986.  Specification de la Commande des Ateliers Flexibles à lAide de Réseaux de Petri Colorés. :85-96.
[RP-86-08] Silva, M, Martínez J.  1986.  A software environment for systems design with HLPN and their implementations. :95-127.
[RP-81-06] Martínez, J, Silva M.  1981.  Sobre la obtención del conjunto de componentes elementales de una RdPG. :287-296.
[RP-82-03] Silva, M, Velilla S.  1982.  Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
[RP-87-08] Montano, L, Silva M.  1987.  Sistemas modernos de programación de robots. :25-52.
[RP-82-05] Silva, M.  1982.  Sistemas concurrentes descritos con RdP: Validación asistida por computador. :126-134.
[RP-83-05] Silva, M, Velilla S.  1983.  Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
[RP-80-03] Silva, M, Velilla S.  1980.  Sistema especializado en la simulación de redes de Petri sanas. :81-88.
[RP-85-10] Villarroel, JL, Silva M.  1985.  Sistema de programación y control de robots con visión artificial. :66-69.
[RP-80-01] Silva, M.  1980.  Simplification des réseaux de Petri par élimination des places implicites. Digital Processes. :245-256.
[RP-82-02] Martínez, J, Silva M.  1982.  A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
[RP-81-07] Martínez, J, Silva M.  1981.  A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
[RP-92-26] Silva, M, Muro P.  1992.  Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
[ICReTeSi96] Recalde, L, Teruel E, Silva M.  1996.  SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
R