Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings / Collart-Dutilleul, Simon ; Lecomte, Thierry ; Romanovsky, Alexander  

Público ISBD Ningún comentario para este registro. Título : Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings Tipo de documento: documento electrónico Autores: Collart-Dutilleul, Simon, ; Lecomte, Thierry, ; Romanovsky, Alexander, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIX, 297 p. 200 ilustraciones, 91 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-18744-6 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: Ingeniería de software  Compiladores (programas informáticos)  Teoría de las máquinas  Ciencias de la Computación  Algoritmos  Simulación por ordenador  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Modelado por computadora Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la Tercera Conferencia Internacional sobre Confiabilidad, Seguridad y Protección de los Sistemas Ferroviarios, RSSRail 2019, celebrada en Lille, Francia, en junio de 2019. Los 18 artículos completos presentados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 38 presentaciones. . Cubren una variedad de temas que incluyen modelos avanzados de infraestructura y sistemas ferroviarios; programación y planificación de seguimiento; proceso de seguridad y validación; modelado; verificación formal; y seguridad. . Nota de contenido: Railways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety Process and Validation -- Modelling -- Formal Verification -- Security. . 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 Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings [documento electrónico] / Collart-Dutilleul, Simon, ; Lecomte, Thierry, ; Romanovsky, Alexander,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XIX, 297 p. 200 ilustraciones, 91 ilustraciones en color. ISBN : 978-3-030-18744-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software  Compiladores (programas informáticos)  Teoría de las máquinas  Ciencias de la Computación  Algoritmos  Simulación por ordenador  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Modelado por computadora Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la Tercera Conferencia Internacional sobre Confiabilidad, Seguridad y Protección de los Sistemas Ferroviarios, RSSRail 2019, celebrada en Lille, Francia, en junio de 2019. Los 18 artículos completos presentados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 38 presentaciones. . Cubren una variedad de temas que incluyen modelos avanzados de infraestructura y sistemas ferroviarios; programación y planificación de seguimiento; proceso de seguridad y validación; modelado; verificación formal; y seguridad. . Nota de contenido: Railways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety Process and Validation -- Modelling -- Formal Verification -- Security. . 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