Autor Artho, Cyrille
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda
TÃtulo : Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Artho, Cyrille, ; Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XII, 161 p. 40 ilustraciones ISBN/ISSN/DL: 978-3-319-53946-1 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: Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Simulación por ordenador Lógica informática y fundamentos de la programación Compiladores e intérpretes Modelado por computadora TeorÃa de la Computación Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 5º Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 9 artÃculos completos revisados ​​presentados junto con un resumen de una charla invitada fueron revisados ​​cuidadosamente. y seleccionado entre 23 presentaciones. Los artÃculos están organizados en secciones temáticas sobre especificación y verificación; sistemas automotrices y ferroviarios; circuitos y sistemas ciberfÃsicos; verificación parametrizada. Nota de contenido: Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification. 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 Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers [documento electrónico] / Artho, Cyrille, ; Ölveczky, Peter Csaba, . - 1 ed. . - [s.l.] : Springer, 2017 . - XII, 161 p. 40 ilustraciones.
ISBN : 978-3-319-53946-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Simulación por ordenador Lógica informática y fundamentos de la programación Compiladores e intérpretes Modelado por computadora TeorÃa de la Computación Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 5º Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 9 artÃculos completos revisados ​​presentados junto con un resumen de una charla invitada fueron revisados ​​cuidadosamente. y seleccionado entre 23 presentaciones. Los artÃculos están organizados en secciones temáticas sobre especificación y verificación; sistemas automotrices y ferroviarios; circuitos y sistemas ciberfÃsicos; verificación parametrizada. Nota de contenido: Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification. 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
TÃtulo : Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Artho, Cyrille, ; Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 179 p. 293 ilustraciones, 23 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-12988-0 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: Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Simulación por ordenador TeorÃa de las máquinas Algoritmos Lógica informática y fundamentos de la programación Compiladores e intérpretes Modelado por computadora Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 6º Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2018, celebrado en Gold Coast, Australia, en noviembre de 2018. Los 10 artÃculos completos revisados ​​presentados junto con un resumen de una charla invitada fueron revisados ​​cuidadosamente. y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas sobre análisis y verificación de sistemas crÃticos para la seguridad; análisis de sistemas cronometrados; semántica y métodos de análisis, y transformación de modelos. Nota de contenido: Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems -- Semantics and Analysis Methods -- Model Transformation. 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 Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers [documento electrónico] / Artho, Cyrille, ; Ölveczky, Peter Csaba, . - 1 ed. . - [s.l.] : Springer, 2019 . - XII, 179 p. 293 ilustraciones, 23 ilustraciones en color.
ISBN : 978-3-030-12988-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Simulación por ordenador TeorÃa de las máquinas Algoritmos Lógica informática y fundamentos de la programación Compiladores e intérpretes Modelado por computadora Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 6º Taller Internacional sobre Técnicas Formales para Sistemas CrÃticos para la Seguridad, FTSCS 2018, celebrado en Gold Coast, Australia, en noviembre de 2018. Los 10 artÃculos completos revisados ​​presentados junto con un resumen de una charla invitada fueron revisados ​​cuidadosamente. y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas sobre análisis y verificación de sistemas crÃticos para la seguridad; análisis de sistemas cronometrados; semántica y métodos de análisis, y transformación de modelos. Nota de contenido: Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems -- Semantics and Analysis Methods -- Model Transformation. 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
