Ana Belén Pelegrina Ortiz

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Formal Analysis

Top Venues

J. Syst. Softw.

Publications

Kawtar Benghazi Akhlaki, María Visitación Hurtado, Miguel J. Hornos, María Luisa Rodríguez, Carlos Rodríguez-Domínguez, Ana Belén Pelegrina Ortiz, María José Rodríguez-Fórtiz
Enabling correct design and formal analysis of Ambient Assisted Living systems. J. Syst. Softw. 85 (3) (2012)
Carlos Rodríguez-Domínguez, Ana Belén Pelegrina Ortiz, José Luis Garrido Bullejos, María Luisa Rodríguez-Almendros, María Bermúdez-Edo
Diseño e implementación de software distribuido de soporte a la integración e interoperatividad de aplicaciones groupware. Rev. Avances en Sistemas Informática 7 (1) (2010)
Ana Belén Pelegrina Ortiz, Carlos Rodríguez-Domínguez, María Luisa Rodríguez, Kawtar Benghazi Akhlaki, José Luis Garrido
Integrating Groupware Applications into Shared Workspaces. RCIS (2010)
Ana Belén Pelegrina Ortiz, Kawtar Benghazi Akhlaki, María Visitación Hurtado, Manuel Noguera
A Framework for the Semantic Representation of Business Processes within Business Organizational Models. EOMAS (2010)