UGR
  |
> >
None
(Ref. TIC-230)
07
noviembre
2026
noviembre 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 de capítulos de libros

Publicación
K. Benghazi-Akhlaki, M.J. Hornos Barranco and M. Noguera García,  "ENSURING THE CORRECT-BY-CONSTRUCTION DESIGN OF REAL-TIME SYSTEMS WITH MEDISTAM-RT", "ACTAS DE LAS XVII JORNADAS DE CONCURRENCIA Y SISTEMAS DISTRIBUIDOS (JCSD 2009)", 307-314, 2009
Á. Fernández López, L.M. Roldan Vilchez, J.L. González Sánchez and M.J. Rodriguez Fortiz,  "SC@UT: PLATAFORMA PARA LA PERSONALIZACIÓN DE COMUNICADORES PARA PERSONAS CON NECESIDADES EDUCATIVAS ESPECIALES", "LAS TIC, PUENTE ENTRE CULTURAS. IBEROAMÉRICA Y EUROPA.", 2009
J.L. Garrido Bullejos, L. Chung-, M. Noguera García and N. Subramanian-,  "IWSSA 2009 PC CO-CHAIRS' MESSAGE", "ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009 CONFEDERATED INTERNATIONAL WORKSHOPS AND POSTERS", 292-293, 2009
K. Benghazi-Akhlaki, M.J. Hornos Barranco and M. Noguera García,  "TOWARDS COMPOSITIONAL VERIFICATION IN MEDISTAM-TR METHODOLOGICAL FRAMEWORK", "LECTURE NOTES IN COMPUTER SCIENCE 5518*", 210-217, 2009
M.L. Rodriguez Almendros, J.L. Garrido Bullejos, M.V. Hurtado Torres, M. Noguera García and M.J. Hornos Barranco,  "DESIGNING USER INTERFACES FOR COLLABORATIVE APPLICATIONS: A MODEL-BASED APPROACH", "NEW TRENDS ON HUMAN-COMPUTER INTERACTION: RESEARCH, DEVELOPMENT, NEW TOOLS AND METHODS", 97-107, 2009
M. Bermudez Edo, N.E. Hurtado Torres, J.A. Aragon Correa and E. Cordón Pozo,  "POTENTIAL OF THE CORPORATE WEB SITE TO GENERATE TRUST IN ENVIRONMENTALLY RISKY FIRMS", "IEEE INTERNATIONAL SYMPOSIUM ON TECHNOLOGY AND SOCIETY (ISTAS)", 2009
E. Escofet Bautista-, M.J. Rodriguez Fortiz, J.L. Garrido Bullejos and L. Chung-,  "STRATEGIC E-BUSINESS/ IT ALIGNMENT FOR SME COMPETITIVENESS", "E-BUSINESS ISSUES CHALLENGES AND OPPORTUNITIES FOR SME: DRIVING COMPETITIVENESS.", 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", "ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009 CONFEDERATED INTERNATIONAL WORKSHOPS AND POSTERS", 381-390, 2009

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

Desarrollado por: