Critical Systems: Formal Methods and Automated Verification / Petrucci, Laure ; Seceleanu, Cristina ; Cavalcanti, Ana  

Público ISBD Ningún comentario para este registro. Título : Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / Tipo de documento: documento electrónico Autores: Petrucci, Laure, ; Seceleanu, Cristina, ; Cavalcanti, Ana, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 235 p. 52 ilustraciones ISBN/ISSN/DL: 978-3-319-67113-0 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: Compiladores (programas informáticos)  Ciencias de la Computación  Ingeniería de software  Computadoras  Propósitos especiales  Teoría de las máquinas  Compiladores e intérpretes  Lógica informática y fundamentos de la programación.  Sistemas de propósito especial y basados ​​en aplicaciones  Lenguajes formales y teoría de los autómatas Clasificación: 005.45 Resumen: Este libro constituye las actas arbitradas del 22º Taller Internacional Conjunto sobre Métodos Formales para Sistemas Críticos Industriales y el 17º Taller Internacional sobre Verificación Automatizada de Sistemas Críticos, FMICS-AVoCS 2017, celebrado en Turín, Italia, en septiembre de 2017. Los 14 artículos completos presentados junto con una charla invitada fueron cuidadosamente revisados ​​y seleccionados entre 30 presentaciones. Están organizados en las siguientes secciones: Técnicas de verificación automatizadas; Pruebas y programación; Métodos Formales para robots móviles y autónomos; y Técnicas de modelado y análisis. Nota de contenido: Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / [documento electrónico] / Petrucci, Laure, ; Seceleanu, Cristina, ; Cavalcanti, Ana,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XIV, 235 p. 52 ilustraciones. ISBN : 978-3-319-67113-0 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: Compiladores (programas informáticos)  Ciencias de la Computación  Ingeniería de software  Computadoras  Propósitos especiales  Teoría de las máquinas  Compiladores e intérpretes  Lógica informática y fundamentos de la programación.  Sistemas de propósito especial y basados ​​en aplicaciones  Lenguajes formales y teoría de los autómatas Clasificación: 005.45 Resumen: Este libro constituye las actas arbitradas del 22º Taller Internacional Conjunto sobre Métodos Formales para Sistemas Críticos Industriales y el 17º Taller Internacional sobre Verificación Automatizada de Sistemas Críticos, FMICS-AVoCS 2017, celebrado en Turín, Italia, en septiembre de 2017. Los 14 artículos completos presentados junto con una charla invitada fueron cuidadosamente revisados ​​y seleccionados entre 30 presentaciones. Están organizados en las siguientes secciones: Técnicas de verificación automatizadas; Pruebas y programación; Métodos Formales para robots móviles y autónomos; y Técnicas de modelado y análisis. Nota de contenido: Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200