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


 Personal

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

Nombre: CAMBRONERO PIQUERAS, MARÍA EMILIA
despacho: 0.A.13
extension: 2036
correo electrónico:
Categoría: Titular de Universidad
Página: Pulsa aquí para ver la página particular



Asignaturas Impartidas 2016-17
Sistemas Distribuidos



Tutorías 2016-17
primer cuatrimestre segundo cuatrimestre
miércoles 10:30-13:30
jueves 10:30-13:30
miércoles 10:30-13:30
jueves 10:30-13:30




Technical Reports
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-06-05-1 2006-05-17 WS-CDL to Timed Automata Translation
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-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
DIAB-12-05-1 2012-05-08 Specification and Verification of Normative Specifications using C-O Diagrams


 

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