Método para la definición y verificación formal de protocolos para aplicaciones de control domótico.
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.
Downloads
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
Issue
Section
Papers
License
The authors who publish in this journal agree to the following terms:
- The authors retain the copyright and guarantee to the journal the right to be the first publication of the work are distributed under a license of use and distribution "Creative Commons Attribution-NonCommercial-NoDerivativeWorks 3.0 Unported" (CC BY-NC-ND 3.0) You can consult from here the informative version and the legal text of the license that allows others to share the work with an acknowledgement of the authorship of the work and the initial publication in this journal.
- Authors may separately enter into additional agreements for non-exclusive distribution of the version of the work published in the journal (for example, placing it in an institutional repository or publishing it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are allowed and encouraged to disseminate their work electronically (e.g., in institutional repositories or on their own website) before and during the submission process, as this can lead to productive exchanges as well as earlier and greater citation of published work (see The Effect of Open Access).