Sesión 9: Model-driven Development Listado de artículos correspondientes a la sesión: Formalización de una arquitectura de computación móvil basada en LindaIncremental Concurrent Synchronization with Conflict Resolution