José M. Álvarez-Palomo

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 2

Top Topics

Modeling Language

Temporal Properties

Independent Living

Verification Method

Top Venues

Wirel. Commun. Mob. Comput.

Publications

Manuel F. Bertoa, Nathalie Moreno, Alejandro Pérez-Vereda, David Bandera, José M. Álvarez-Palomo, Carlos Canal
Digital Avatars: Promoting Independent Living for Older Adults. Wirel. Commun. Mob. Comput. 2020 (2020)
Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. FASE (2016)