Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos


 Personal

  Curso: 2018-19. Cambiar a:  2017-18   2019-20

Nombre: PARDO MATEO, JUAN JOSÉ
despacho: 0.A.10
extension: 2044
correo electrónico:
Categoría: Profesor Contratado Doctor
Detalle:
Página: Pulsa aquí para ver la página particular



Tutorías 2018-19
primer cuatrimestre segundo cuatrimestre
   




Technical Reports
DIAB-01-01-12 2003-03-31 Translating a timed process algebra into dynamic stage graphs
DIAB-01-01-14 2001-01-01 Herramientas de ayuda al diseño y evaluación de sistemas concurrentes
DIAB-02-01-25 2002-01-01 NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS
DIAB-04-10-1 2004-10-26 Simulation and Visualization of Timed-Arcs Petri Nets in TPAL
DIAB-04-11-1 2004-11-26 Formal Verification of the Secure Sockets Layer Protocol
DIAB-06-05-1 2006-05-17 WS-CDL to Timed Automata Translation
DIAB-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
DIAB-99-01-04 1999-01-04 Modelos temporizados y probabilisticos
DIAB-99-01-05 1999-01-05 Prototipo de una herramienta de ejecucion de especificaciones en tpal.


 

Sindicación     Sindicación     Sindicación
Curso: 2018-19
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal