| Revista: | Telem@tica (La Habana) |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000376035 |
| ISSN: | 1729-3804 |
| Autores: | Trujillo Díaz, Arian1 Vento Alvarez, José Raúl1 |
| Instituciones: | 1Universidad de Pinar del Río, Facultad de Informática y Telecomunicaciones, Pinar del Río. Cuba |
| Año: | 2014 |
| Periodo: | May-Ago |
| Volumen: | 13 |
| Número: | 2 |
| Paginación: | 22-31 |
| País: | Cuba |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Aplicado, descriptivo |
| Resumen en español | Este artículo ofrece unmétodo para la elaboración de protocolos de aplicación de control domóticos, aplicados a un caso de estudio, utilizando herramientas de software libre, PROMELA como su lenguaje de definición formal, y SPIN como su editor, verificador y validador, mediante la simulación |
| Resumen en inglés | This article provides a method for developing application protocols automation control, applied to a case study, using free software tools, language PROMELA as its formal definition, and SPIN as its editor, verifier and validator, by simulating |
| Disciplinas: | Ciencias de la computación, Ingeniería |
| Palabras clave: | Ingeniería de telecomunicaciones, Domótica, Software libre, Vivienda, Protocolos de comunicación, Verificación |
| Keyword: | Computer science, Engineering, Telecommunications engineering, Domotic, Free software, Housing, Communication protocoles, Verification |
| Texto completo: | Texto completo (Ver HTML) |
