Método para la definición y verificación formal de protocolos para aplicaciones de control domótico.

Authors

  • Arian Trujillo Díaz
  • José Raúl Vento Álvarez

Abstract

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.

Downloads

Download data is not yet available.

Published

2014-09-02

How to Cite

Trujillo Díaz, A., & Vento Álvarez, J. R. (2014). Método para la definición y verificación formal de protocolos para aplicaciones de control domótico. Telemática, 13(2), 22–31. Retrieved from https://revistatelematica.cujae.edu.cu/index.php/tele/article/view/143