Publications

Export 663 results:
Sort by: Author Title Type [ Year (Desc)]
1980
[RP-80-07] Silva, M.  1980.  Redes de Petri y validación de sistemas con actividades concurrentes. :xx.
[RP-80-08] Velilla, S, Silva M.  1980.  Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
[RP-80-09] Silva, M.  1980.  Autómata programable multicomputador. Valoración de su capacidad de tratamiento. :609-630.
[RP-80-03] Silva, M, Velilla S.  1980.  Sistema especializado en la simulación de redes de Petri sanas. :81-88.
[RP-80-04] Silva, M.  1980.  Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :14-33.
[RP-80-05] Silva, M.  1980.  Memoria de actividades del Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :111-116.
[RP-80-06] Silva, M.  1980.  Un plan de prácticas. Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :117-134.
[RP-80-10] Silva, M.  1980.  Diseño de un modelo de instalación automática de fabricación construida con estructuras mecánicas programables y controlada por ordenador. :414-424.
[RP-80-01] Silva, M.  1980.  Simplification des réseaux de Petri par élimination des places implicites. Digital Processes. :245-256.
[RP-80-02] Sifakis, MJ, Silva M.  1980.  A la recherche dune métodologie de conception sure des automatismes logiques basée sur lutilisation des réseaux de Petri. :245-256.
1979
[RP-79-02] Silva, M.  1979.  Evaluation des performances des applications temps réel de type logique. :152-157.
[RP-79-01] Silva, M, David R.  1979.  Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs. Rairo-Automatique. 13:369-393.
[RP-79-03] Silva, M.  1979.  Evaluación de funciones lógicas: Generación óptima de código a partir de un grafo de decisiones binarias. :628-636.