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...
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. |
---|