Métodos formales para verificar los nuevos desarrollos en sistemas de transporte

The rapid development of modern cyber-physical systems and the increasing complexity of its design and analysis requires new technologies to make the process of verification and integration. Because of the mathematical basis that supports them and the steady increase in the effectiveness of its proc...

Descripción completa

Autor Principal: Kinirty, Joseph A.
Formato: info:eu-repo/semantics/article
Idioma: spa
Publicado: Editorial Bonaventuriana 2018
Materias:
Acceso en línea: Kinirty, J. A. (2011). Métodos formales para verificar los nuevos desarrollos en sistemas de transporte. Revista de Ingenierías USBMed, 2(1), 15–17. https://doi.org/10.21500/20275846.243
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Sumario: The rapid development of modern cyber-physical systems and the increasing complexity of its design and analysis requires new technologies to make the process of verification and integration. Because of the mathematical basis that supports them and the steady increase in the effectiveness of its procedures, formal methods are called to provide such technologies. This paper compares the processes and the traditional formal verification simulation tool to cyber-physical systems.