Método para la definición y verificación formal de protocolos para aplicaciones de control domótico.
| Autor: | Arian Trujillo Díaz, José Raúl Vento Álvarez |
|---|---|
| Jazyk: | Spanish; Castilian |
| Rok vydání: | 2014 |
| Předmět: | |
| Zdroj: | Telemática, Vol 13, Iss 2 (2014) |
| Druh dokumentu: | article |
| ISSN: | 1729-3804 |
| Popis: | Este artículo ofrece un mé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. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|