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


 Personal

  Curso: 2016-17. Cambiar a:  2015-16   2017-18

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



Asignaturas Impartidas 2016-17
Fundamentos de Programación I
Procesadores de Lenguajes
Gestión de Medios Informáticos en la Administración



Tutorías 2016-17
primer cuatrimestre segundo cuatrimestre
martes 09:30-13:00
lunes 12:30-13:00
martes 17:00-18:00
viernes 12:00-13:00
martes 09:30-11:30
martes 12:30-13:00
martes 18:00-19:00
jueves 09:30-10:30
jueves 11:30-13:00




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: 2016-17
© 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