24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / Larsen, Kim Guldstrand ; Willemse, Tim  

Público ISBD Ningún comentario para este título. Título : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings Tipo de documento: documento electrónico Autores: Larsen, Kim Guldstrand, ; Willemse, Tim, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XV, 161 p. 156 ilustraciones, 33 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-27008-7 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)  Ingeniería de software  Ciencias de la Computación  Inteligencia artificial  Simulación por ordenador  Compiladores e intérpretes  Teoría de la Computación  Modelado por computadora Clasificación: 005.45 Resumen: Este libro constituye las actas de la 24.ª Conferencia Internacional sobre Métodos Formales para Sistemas Críticos Industriales, FMICS 2019, celebrada en Ámsterdam, Países Bajos, en agosto de 2019. Los 9 artículos habituales presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 15 presentaciones. La conferencia también contó con charlas invitadas de Jaco van de Pol (Universidad de Aarhus y Universidad de Twente), junto con CONCUR, y Holger Hermanns (Universität des Saarlandes) y una sesión especial sobre métodos formales (comerciales) en la industria. El objetivo de la serie de conferencias FMICS es proporcionar un foro para investigadores interesados ​​en el desarrollo y aplicación de métodos formales en la industria. En particular, FMICS reúne a científicos e ingenieros activos en el área de métodos formales e interesados ​​en intercambiar sus experiencias en el uso industrial de estos métodos. La serie de conferencias FMICS también se esfuerza por promover la investigación y el desarrollo para la mejora de métodos y herramientas formales para aplicaciones industriales. Nota de contenido: Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC -- Formal Modelling and Verification of an Interlocking using mCRL2 -- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development -- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining formal methods and DSMLs -- Probabilistic Verification for Reliable Network-on-Chip System Design -- A Simulator for LLVM Bitcode -- Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universität des Saarlandes) and a special session on (commercial) formal methods in industry. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings [documento electrónico] / Larsen, Kim Guldstrand, ; Willemse, Tim,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XV, 161 p. 156 ilustraciones, 33 ilustraciones en color. ISBN : 978-3-030-27008-7 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)  Ingeniería de software  Ciencias de la Computación  Inteligencia artificial  Simulación por ordenador  Compiladores e intérpretes  Teoría de la Computación  Modelado por computadora Clasificación: 005.45 Resumen: Este libro constituye las actas de la 24.ª Conferencia Internacional sobre Métodos Formales para Sistemas Críticos Industriales, FMICS 2019, celebrada en Ámsterdam, Países Bajos, en agosto de 2019. Los 9 artículos habituales presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 15 presentaciones. La conferencia también contó con charlas invitadas de Jaco van de Pol (Universidad de Aarhus y Universidad de Twente), junto con CONCUR, y Holger Hermanns (Universität des Saarlandes) y una sesión especial sobre métodos formales (comerciales) en la industria. El objetivo de la serie de conferencias FMICS es proporcionar un foro para investigadores interesados ​​en el desarrollo y aplicación de métodos formales en la industria. En particular, FMICS reúne a científicos e ingenieros activos en el área de métodos formales e interesados ​​en intercambiar sus experiencias en el uso industrial de estos métodos. La serie de conferencias FMICS también se esfuerza por promover la investigación y el desarrollo para la mejora de métodos y herramientas formales para aplicaciones industriales. Nota de contenido: Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC -- Formal Modelling and Verification of an Interlocking using mCRL2 -- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development -- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining formal methods and DSMLs -- Probabilistic Verification for Reliable Network-on-Chip System Design -- A Simulator for LLVM Bitcode -- Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universität des Saarlandes) and a special session on (commercial) formal methods in industry. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. 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