UGR
  |
> >
None
(Ref. TIC-230)
05
junio
2026
junio 2026
<- ->
L M X J V S D
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30

Producción científica


Buscar por:

Lista

Publicación
A.B. Pelegrina Ortiz-, C. Rodríguez Domínguez, J.L. Garrido Bullejos, M.L. Rodriguez Almendros and M. Bermudez Edo,  "UN MARCO DE TRABAJO DE SOPORTE A LA INTEGRACIÓN DE APLICACIONES GROUPWARE", "INTERACCIÓN 2009. X CONGRESO INTERNACIONAL DE INTERACCIÓN PERSONA-ORDENADOR (10) (10.2009.BARCELONA(ESPAÑA))", 1-10, 2009
C. Rodríguez Domínguez, A.B. Pelegrina-Ortiz, J.L. Garrido Bullejos, M.L. Rodriguez Almendros and M. Bermudez Edo,  "A DEVELOPMENT FRAMEWORK FOR THE INTEGRATION OF DISTRIBUTED GROUPWARE APPLICATIONS",  AVANCES EN SISTEMAS E INFORMÁTICA , 13-23, 2009
P.J. Sola Campoy, A.B. Pelegrina Ortiz, J.L. Garrido Bullejos, S. Real Martinez and M. Bermudez Edo,  "A DEVELOPMENT FRAMEWORK FOR THE INTEGRATION OF DISTRIBUTED GROUPWARE APPLICATIONS",  AVANCES EN SISTEMAS E INFORMÁTICA , 13-23, 2009
K. Benghazi Akhlaki, M.V. Hurtado Torres, S. Real Martinez and M. Noguera García,  "APPLYING FORMAL VERIFICATION TECHNIQUES TO AMBIENT ASSISTED LIVING SYSTEMS",  LECTURE NOTES IN COMPUTER SCIENCE, vol.5842 , 381-390, 2009
K. Benghazi-Akhlaki, M.V. Hurtado Torres, M.L. Rodriguez Almendros and M. Noguera García,  "APPLYING FORMAL VERIFICATION TECHNIQUES TO AMBIENT ASSISTED LIVING SYSTEMS",  Lecture Notes in Computer Science, vol.5842 , 381-390, 2009
M.I. Capel Tuñon, L.E. Mendoza Morales and K. Benghazi Akhlaki,  "AUTOMATIC VERIFICATION OF BUSINESS PROCESS INTEGRITY",  INTERNATIONAL JOURNAL OF SIMULATION AND PROCESS MODELLING, vol.4 , 167-182, 2009
L.E. Mendoza Morales, M.I. Capel Tuñon, M.A. Pérez and K. Benghazi Akhlaki,  "COMPOSITIONAL MODEL-CHECKING VERIFICATION OF CRITICAL SYSTEMS",  LECTURE NOTES IN BUSINESS INFORMATION PROCESSING, vol.19 , 213-225, 2009
R. Duque-, M. Noguera García, C. Bravo-, J.L. Garrido Bullejos and M.L. Rodriguez Almendros,  "CONSTRUCTION OF INTERACTION OBSERVATION SYSTEMS FOR COLLABORATION ANALYSIS IN GROUPWARE APPLICATIONS",  Advances in Engineering Software, vol.40 , 1242-1250, 2009

Última actualización del SICA: 25/03/2026

Desarrollado por: