| Journal: | Telem@tica (La Habana) |
| Database: | PERIÓDICA |
| System number: | 000376035 |
| ISSN: | 1729-3804 |
| Authors: | Trujillo Díaz, Arian1 Vento Alvarez, José Raúl1 |
| Institutions: | 1Universidad de Pinar del Río, Facultad de Informática y Telecomunicaciones, Pinar del Río. Cuba |
| Year: | 2014 |
| Season: | May-Ago |
| Volumen: | 13 |
| Number: | 2 |
| Pages: | 22-31 |
| Country: | Cuba |
| Language: | Español |
| Document type: | Artículo |
| Approach: | Aplicado, descriptivo |
| Spanish abstract | 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 |
| English abstract | 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 |
| Disciplines: | Ciencias de la computación, Ingeniería |
| Keyword: | 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 |
| Full text: | Texto completo (Ver HTML) |
