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


 Personal

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

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



Tutorías 2018-19
primer cuatrimestre segundo cuatrimestre
   




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: 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