Table of Contents
Editorial
Walter Baluja García
|
|
Papers
Danelys Rodríguez Ávila, Elyú González Gutiérrez, Michel Coto Mederos, Francisco Marante Rizo
|
1-12
|
Danelys Rodríguez Ávila, Yadier Santos Belett, Francisco Marante Rizo
|
13-21
|
Método para la definición y verificación formal de protocolos para aplicaciones de control domótico.
Arian Trujillo Díaz, José Raúl Vento Álvarez
|
22-31
|
Alejandro Pérez Malagón
|
32-41
|
Ing. Yanela Fernández Cruz, Dr. Ing. Francisco Marante Rizo
|
42-52
|
Ing. Yanela Fernández Cruz, Ing. Yilian Villanueva Martínez, Ing. Nelson A. Fleitas Hernández, Dr. Ing. Francisco Marante Rizo
|
53-61
|
Sandor Ernesto Tuñón Andrés
|
62-82
|
José L. Álvarez-Flores, Leonel Soriano-Equigua, Jorge E. Preciado-Velazco
|
83-91
|
Technically speaking
Julio Cesar Jerez Camps
|
|
Julio Cesar Jerez Camps
|
|
Julio Cesar Jerez Camps
|
|