24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / Huisman, Marieke ; Păsăreanu, Corina ; Zhan, Naijun  

Público ISBD Ningún comentario para este título. Título : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings Tipo de documento: documento electrónico Autores: Huisman, Marieke, ; Păsăreanu, Corina, ; Zhan, Naijun, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XVII, 800 p. 278 ilustraciones, 159 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-90870-6 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: Ingeniería de software  Ciencias de la Computación  Computadoras  Propósitos especiales  Teoría de la Computación  Sistemas de propósito especial y basados ​​en aplicaciones Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas del 24º Simposio sobre Métodos Formales, FM 2021, celebrado virtualmente en noviembre de 2021. Los 43 artículos completos presentados junto con 4 presentaciones invitadas fueron cuidadosamente revisados ​​y seleccionados entre 131 presentaciones. Los artículos están organizados en secciones temáticas denominadas: Presentaciones invitadas. - Prueba interactiva de teoremas, redes neuronales y aprendizaje activo, lógica y teoría, verificación de programas I, sistemas híbridos, verificación de programas II, autómatas, análisis de sistemas complejos, probabilidades, artículos invitados de seguimiento de la industria, seguimiento de la industria, Divide et Impera: síntesis eficiente de Sistema ciberfísico. Nota de contenido: Invited Presentations. - Interactive Theorem Proving -- Neural Networks & Active Learning -- Logics & Theory -- Program Verification I -- Hybrid Systems -- Program Verification II -- Automata -- Analysis of Complex Systems -- Probabilities -- Industry Track Invited Papers -- Industry Track -- Divide et Impera: Efficient Synthesis of Cyber-Physical System. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings [documento electrónico] / Huisman, Marieke, ; Păsăreanu, Corina, ; Zhan, Naijun,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XVII, 800 p. 278 ilustraciones, 159 ilustraciones en color. ISBN : 978-3-030-90870-6 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: Ingeniería de software  Ciencias de la Computación  Computadoras  Propósitos especiales  Teoría de la Computación  Sistemas de propósito especial y basados ​​en aplicaciones Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas del 24º Simposio sobre Métodos Formales, FM 2021, celebrado virtualmente en noviembre de 2021. Los 43 artículos completos presentados junto con 4 presentaciones invitadas fueron cuidadosamente revisados ​​y seleccionados entre 131 presentaciones. Los artículos están organizados en secciones temáticas denominadas: Presentaciones invitadas. - Prueba interactiva de teoremas, redes neuronales y aprendizaje activo, lógica y teoría, verificación de programas I, sistemas híbridos, verificación de programas II, autómatas, análisis de sistemas complejos, probabilidades, artículos invitados de seguimiento de la industria, seguimiento de la industria, Divide et Impera: síntesis eficiente de Sistema ciberfísico. Nota de contenido: Invited Presentations. - Interactive Theorem Proving -- Neural Networks & Active Learning -- Logics & Theory -- Program Verification I -- Hybrid Systems -- Program Verification II -- Automata -- Analysis of Complex Systems -- Probabilities -- Industry Track Invited Papers -- Industry Track -- Divide et Impera: Efficient Synthesis of Cyber-Physical System. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System. 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