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


 Personal

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

Nombre: RUIZ DELGADO, MARÍA CARMEN
despacho: 0.A.15
extension: 2430
correo electrónico:
Categoría: Profesor Contratado Doctor
Página: Pulsa aquí para ver la página particular



Asignaturas Impartidas 2016-17
Servicios de Computación de Altas Prestaciones y Disponibilidad
Gestión, Certificación y Evaluación de Sistemas y Servicios



Tutorías 2016-17
primer cuatrimestre segundo cuatrimestre
miércoles 11:00-14:00
jueves 11:00-14:00
miércoles 11:00-14:00
jueves 11:00-14:00




Technical Reports
DIAB-02-01-25 2002-01-01 NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS
DIAB-04-11-1 2004-11-26 Formal Verification of the Secure Sockets Layer Protocol


 

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