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


 Personal

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

Nombre: MARTINEZ LOPEZ, ENRIQUE
despacho: ReTiCS (I3A)
extension: 2678
correo electrónico:
Categoría: Contratado Proyecto I+D
cargo: Estudiante de doctorado afiliado al grupo de investigación ReTiCS
Detalle: Escuela Superior de Ingeniería Informática
Página: Pulsa aquí para ver la página particular



Technical Reports
DIAB-09-04-1 2009-04-16 Web Services Choreographies Verification
DIAB-09-04-3 2009-04-20 A comparative study between WSCI, WS-CDL, and OWL-S
DIAB-12-05-1 2012-05-08 Specification and Verification of Normative Specifications using C-O Diagrams


 

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