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 registro. 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. 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 Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo 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. 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 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. 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 Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo 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. 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) Par page : 25 50 100 200