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 / Petrucci, Laure ; Seceleanu, Cristina ; Cavalcanti, Ana  

Público ISBD Ningún comentario para este registro. Título : 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. 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 Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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. 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 Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

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