Información del autor
Autor Artho, Cyrille |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
