Publications

Export 11 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Title is U  [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]
U
[1520] Tricas, F, Colom JM, Merelo JJ.  2014.  Using the incidence matrix in an evolutionary algorithm for Computing minimal siphons in Petri net models. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
[1337] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
[IPSiRe03b] Silva, M, Recalde L.  2003.  Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
[CZEI-98] Comella, S, Zarazaga J, Ezpeleta J, Infante D, López R, Muro P.  1998.  Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA. :35-40.
[EzNB-01] Ezpeleta, J, Novoa R, Barea MA.  2001.  Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
[RMBP-98] Romero, J, Merseguer J, Barberá, Pastor O.  1998.  Una Herramienta de Generación Automática de Software. :157-169.
[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-83-07] Pardos, P, Silva M.  1983.  Un plan de prácticas de sistemas de control muestreados. :279-295.
[BBCM-09] Berardinelli, L, Bernardi S, Cortellessa V, Merseguer J.  2009.  UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
[BM-WOSP-07] Bernardi, S, Merseguer J.  2007.  A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
[BMP-RR-08] Bernardi, S, Merseguer J, Petriu D.  2008.  An UML profile for dependability analysis and modeling of software systems. :47.