| TÃtulo : |
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Hasan, Osman, ; Mallet, Frédéric, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
VIII, 141 p. 81 ilustraciones, 23 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-46902-3 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
Ciencias de la Computación Red de computadoras Programación lógica Computadoras Propósitos especiales Microprogramación TeorÃa de la Computación Redes de comunicación informática Lógica en IA Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación. |
| Clasificación: |
40.151 |
| Resumen: |
Este libro constituye las actas arbitradas del Séptimo Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2019, celebrado en Shenzhen, China, en noviembre de 2019. Los 6 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 17 presentaciones. Además, el volumen presenta 1 artÃculo invitado, 1 artÃculo de herramienta y 1 trabajo en progreso. Los artÃculos se centran en los temas del uso de métodos formales para analizar sistemas crÃticos para la seguridad; métodos, técnicas y herramientas para respaldar el análisis, la certificación, la depuración, etc., automatizados de sistemas complejos de seguridad/QoS crÃticos; métodos de análisis que abordan las limitaciones de los métodos formales en la industria (usabilidad, escalabilidad, etc.); soporte de análisis formal para lenguajes de modelado utilizados en la industria; Generación de código a partir de modelos validados. |
| Nota de contenido: |
Invited paper -- Avionics and Spacecraft -- Applications -- Tools and Work in Progress. . |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers [documento electrónico] / Hasan, Osman, ; Mallet, Frédéric, . - 1 ed. . - [s.l.] : Springer, 2020 . - VIII, 141 p. 81 ilustraciones, 23 ilustraciones en color. ISBN : 978-3-030-46902-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
Ciencias de la Computación Red de computadoras Programación lógica Computadoras Propósitos especiales Microprogramación TeorÃa de la Computación Redes de comunicación informática Lógica en IA Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación. |
| Clasificación: |
40.151 |
| Resumen: |
Este libro constituye las actas arbitradas del Séptimo Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2019, celebrado en Shenzhen, China, en noviembre de 2019. Los 6 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 17 presentaciones. Además, el volumen presenta 1 artÃculo invitado, 1 artÃculo de herramienta y 1 trabajo en progreso. Los artÃculos se centran en los temas del uso de métodos formales para analizar sistemas crÃticos para la seguridad; métodos, técnicas y herramientas para respaldar el análisis, la certificación, la depuración, etc., automatizados de sistemas complejos de seguridad/QoS crÃticos; métodos de análisis que abordan las limitaciones de los métodos formales en la industria (usabilidad, escalabilidad, etc.); soporte de análisis formal para lenguajes de modelado utilizados en la industria; Generación de código a partir de modelos validados. |
| Nota de contenido: |
Invited paper -- Avionics and Spacecraft -- Applications -- Tools and Work in Progress. . |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsquedaInformation and Communication Technologies in Education, Research, and Industrial Applications / Ermolayev, Vadim ; Mallet, Frédéric ; Yakovyna, Vitaliy ; Mayr, Heinrich C. ; Spivakovsky, Aleksander
