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


 Personal

  Curso: 2017-18. Cambiar a:  2016-17   2018-19

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 2017-18
Fundamentos de Programación I
Procesadores de Lenguajes
Gestión de Medios Informáticos en la Administración



Tutorías 2017-18
primer cuatrimestre segundo cuatrimestre
lunes 09:30-11:30
lunes 12:30-13:15
miércoles 17:00-18:00
miércoles 12:30-13:15
jueves 11:30-13:00
martes 10:00-12:30
miércoles 10:00-12:30
martes 18:00-19: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: 2017-18
© 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