Título :	25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Tipo de documento:	documento electrónico
Autores:	ter Beek, Maurice H., ; Ničković, Dejan,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XXII, 289 p. 76 ilustraciones, 42 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-58298-2
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  Procesamiento del lenguaje natural (Informática)  Computadoras  Propósitos especiales  Ingeniería de software  Compiladores e intérpretes  Teoría de la Computación  Procesamiento del lenguaje natural (PNL)  Sistemas de propósito especial y basados ​​en aplicaciones
Índice Dewey:	005.45 interfaces con el computador y los controladores del dispositivo
Resumen:	Este libro constituye las actas del 25º Taller Internacional sobre Métodos Formales para Sistemas Críticos Industriales, FMICS 2020, que se celebró del 2 al 3 de septiembre de 2020. La conferencia estaba prevista para realizarse en Viena, Austria. Debido a la pandemia de COVID-19 cambió a un evento virtual. Los 11 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Los artículos están organizados en secciones temáticas de la siguiente manera: análisis cuantitativo y sistemas ciberfísicos, verificación formal de sistemas industriales, lógica temporal y verificación de modelos. El libro también contiene un extenso informe sobre una Encuesta de Métodos Formales realizada con motivo de la 25ª edición de la conferencia.
Nota de contenido:	FMICS 25th Anniversary -- The 2020 Expert Survey on Formal Methods -- Quantitative Analysis and Cyber-Physical Systems -- Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents -- Skylines for Symbolic Energy Consumption Analysis -- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers -- An Actor-based Approach for Security Analysis of Cyber-Physical Systems -- Formal Verification of Industrial Systems Scalable Detection of Ampli cation Timing Anomalies for the Superscalar TriCore Architecture -- A Formally Veri ed Plasma Vertical Position Control Algorithm -- The First Twenty-Five Years of Industrial Use of the B-Method -- A Safety Flasher Developed with the CLEARSY Safety Platform -- Temporal Logic and Model checking -- Formal Verification of OIL Component Specifications Using mCRL2 -- Temporal-Logic Query Checking over Finite Data Streams -- Verification of a Failure Management Protocol for Stateful IoT Applications.
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

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings [documento electrónico] / ter Beek, Maurice H., ; Ničković, Dejan,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XXII, 289 p. 76 ilustraciones, 42 ilustraciones en color.
ISBN : 978-3-030-58298-2
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  Procesamiento del lenguaje natural (Informática)  Computadoras  Propósitos especiales  Ingeniería de software  Compiladores e intérpretes  Teoría de la Computación  Procesamiento del lenguaje natural (PNL)  Sistemas de propósito especial y basados ​​en aplicaciones
Índice Dewey:	005.45 interfaces con el computador y los controladores del dispositivo
Resumen:	Este libro constituye las actas del 25º Taller Internacional sobre Métodos Formales para Sistemas Críticos Industriales, FMICS 2020, que se celebró del 2 al 3 de septiembre de 2020. La conferencia estaba prevista para realizarse en Viena, Austria. Debido a la pandemia de COVID-19 cambió a un evento virtual. Los 11 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Los artículos están organizados en secciones temáticas de la siguiente manera: análisis cuantitativo y sistemas ciberfísicos, verificación formal de sistemas industriales, lógica temporal y verificación de modelos. El libro también contiene un extenso informe sobre una Encuesta de Métodos Formales realizada con motivo de la 25ª edición de la conferencia.
Nota de contenido:	FMICS 25th Anniversary -- The 2020 Expert Survey on Formal Methods -- Quantitative Analysis and Cyber-Physical Systems -- Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents -- Skylines for Symbolic Energy Consumption Analysis -- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers -- An Actor-based Approach for Security Analysis of Cyber-Physical Systems -- Formal Verification of Industrial Systems Scalable Detection of Ampli cation Timing Anomalies for the Superscalar TriCore Architecture -- A Formally Veri ed Plasma Vertical Position Control Algorithm -- The First Twenty-Five Years of Industrial Use of the B-Method -- A Safety Flasher Developed with the CLEARSY Safety Platform -- Temporal Logic and Model checking -- Formal Verification of OIL Component Specifications Using mCRL2 -- Temporal-Logic Query Checking over Finite Data Streams -- Verification of a Failure Management Protocol for Stateful IoT Applications.
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