Información del autor
Autor Ölveczky, Peter Csaba |
Documentos disponibles escritos por este autor (6)
Crear una solicitud de compra Refinar búsqueda15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / Bae, Kyungmin ; Ölveczky, Peter Csaba
TÃtulo : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings Tipo de documento: documento electrónico Autores: Bae, Kyungmin, ; Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 297 p. 83 ilustraciones ISBN/ISSN/DL: 978-3-030-02146-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: IngenierÃa de software Compiladores (programas informáticos) Programación de computadoras TeorÃa de las máquinas Ciencias de la Computación Compiladores e intérpretes Técnicas de programación Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Clasificación: Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2018, celebrada en Pohang, Corea del Sur, en octubre de 2018. Los 14 artÃculos completos presentados junto con un resumen invitado y un artÃculo invitado fueron cuidadosamente revisados ​​y seleccionado entre 32 presentaciones. FACS 2016 se ocupa de cómo se pueden utilizar los métodos formales para lograr que el desarrollo de software basado en componentes y orientado a servicios tenga éxito. Los métodos formales han proporcionado una base para el software basado en componentes al abordar con éxito cuestiones desafiantes como modelos matemáticos para componentes, composición y adaptación, o enfoques rigurosos para la verificación, implementación, prueba y certificación. Nota de contenido: What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages -- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via Behavioral Metrics -- Incremental Computation of Synthesis Rules for Free-Choice Petri nets -- Programming Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP -- Using Coloured Petri Nets for Resource Analysis of Active Objects -- Adaptive Formal Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns -- The SLCO Framework for Verified, Model-driven Construction of Component Software. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings [documento electrónico] / Bae, Kyungmin, ; Ölveczky, Peter Csaba, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 297 p. 83 ilustraciones.
ISBN : 978-3-030-02146-7
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) Programación de computadoras TeorÃa de las máquinas Ciencias de la Computación Compiladores e intérpretes Técnicas de programación Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Clasificación: Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2018, celebrada en Pohang, Corea del Sur, en octubre de 2018. Los 14 artÃculos completos presentados junto con un resumen invitado y un artÃculo invitado fueron cuidadosamente revisados ​​y seleccionado entre 32 presentaciones. FACS 2016 se ocupa de cómo se pueden utilizar los métodos formales para lograr que el desarrollo de software basado en componentes y orientado a servicios tenga éxito. Los métodos formales han proporcionado una base para el software basado en componentes al abordar con éxito cuestiones desafiantes como modelos matemáticos para componentes, composición y adaptación, o enfoques rigurosos para la verificación, implementación, prueba y certificación. Nota de contenido: What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages -- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via Behavioral Metrics -- Incremental Computation of Synthesis Rules for Free-Choice Petri nets -- Programming Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP -- Using Coloured Petri Nets for Resource Analysis of Active Objects -- Adaptive Formal Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns -- The SLCO Framework for Verified, Model-driven Construction of Component Software. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings Tipo de documento: documento electrónico Autores: Ölveczky, Peter Csaba, ; Salaün, Gwen, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVIII, 550 p. 910 ilustraciones, 89 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30446-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: IngenierÃa de software Compiladores (programas informáticos) Ciencias de la Computación Computadoras digitales electrónicas Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Rendimiento y evaluación del sistema Modelado por computadora Clasificación: Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2019, celebrada en Oslo, Noruega, en septiembre de 2019. Los 27 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 89 presentaciones. Los artÃculos cubren una gran variedad de temas, incluidas pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, detección de ataques y malware, y desarrollo y evolución de software, y abordan una amplia gama de sistemas, como sistemas ciberfÃsicos, vehÃculos aéreos no tripulados y robots autónomos. y sistemas operativos y orientados a funciones. Están organizados en las siguientes secciones temáticas: sistemas cooperativos asÃncronos; sistemas ciberfÃsicos; sistemas versionados y orientados a funciones; pruebas basadas en modelos; inferencia de modelos; ontologÃas y aprendizaje automático; sistemas operativos; análisis de programas; relacionar modelos e implementaciones; verificación del tiempo de ejecución; seguridad; y verificación. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings [documento electrónico] / Ölveczky, Peter Csaba, ; Salaün, Gwen, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVIII, 550 p. 910 ilustraciones, 89 ilustraciones en color.
ISBN : 978-3-030-30446-1
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) Ciencias de la Computación Computadoras digitales electrónicas Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Rendimiento y evaluación del sistema Modelado por computadora Clasificación: Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2019, celebrada en Oslo, Noruega, en septiembre de 2019. Los 27 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 89 presentaciones. Los artÃculos cubren una gran variedad de temas, incluidas pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, detección de ataques y malware, y desarrollo y evolución de software, y abordan una amplia gama de sistemas, como sistemas ciberfÃsicos, vehÃculos aéreos no tripulados y robots autónomos. y sistemas operativos y orientados a funciones. Están organizados en las siguientes secciones temáticas: sistemas cooperativos asÃncronos; sistemas ciberfÃsicos; sistemas versionados y orientados a funciones; pruebas basadas en modelos; inferencia de modelos; ontologÃas y aprendizaje automático; sistemas operativos; análisis de programas; relacionar modelos e implementaciones; verificación del tiempo de ejecución; seguridad; y verificación. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings Tipo de documento: documento electrónico Autores: Cerone, Antonio, ; Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 405 p. 98 ilustraciones, 46 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-85315-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 Microprogramación Equipos de entrada y salida de computadora Software de la aplicacion Lógica informática y fundamentos de la programación Estructuras de control y microprogramación Entrada/Salida y Comunicaciones de Datos Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas del 18º Coloquio Internacional sobre Aspectos Teóricos de la Computación, ICTAC 2021, organizado por la Universidad Nazarbayev, Nur-Sultan, Kazajstán. Se suponÃa que el evento tendrÃa lugar en Nur-Sultan, Kazajstán, pero debido a la pandemia de COVID-19 se celebró de forma virtual. Los 15 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 40 presentaciones. El libro también contiene una charla invitada en papel completo. El libro aborda desafÃos tanto en los aspectos teóricos de la informática como en la explotación de la teorÃa a través de métodos y herramientas para el desarrollo de sistemas. Los 20 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 55 presentaciones. Los artÃculos cubren una amplia variedad de temas, que incluyen: obtener el mejor precio por vender sus datos personales; atacar a Bitcoin; optimizar diversas formas de verificación de modelos; sintetizar y aprender algoritmos; formalizar y verificar contratos, idiomas y compiladores; analizar la corrección y complejidad de programas y sistemas distribuidos; y encontrar conexiones desde pruebas en lógica proposicional hasta lenguajes de programación cuántica. Nota de contenido: Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins -- Qualitative–Quantitative Reasoning: thinking informally about formal things -- Model Checking and Machine Learning Joining Forces in Uppaal -- Databases and Distributed Transactions Some Aspects of the Database Resilience -- On the Correctness Problem for Serializability -- Efficient Model Checking Methods A Set Automaton to Locate All Pattern Matches in a Term -- Groote Accelerating SpMV Multiplication in Probabilistic Model Checkers using GPUs -- A divide & conquer approach to conditional stable model checking -- Formalization and Verification in Coq and Isabelle Certifying Choreography Compilation -- Mechanically Verified Theory of Contracts -- A Complete Semantics of K and Its Translation to Isabelle -- Quantum Computing A New Connective in Natural Deduction, and its Application to Quantum Computing -- Security and Privacy An Incentive Mechanism for Trading Personal Data in Data Markets -- Palamidessi Assessing Security of Crypto-Currencies with Attack-Defense Trees: Proof of Concept and Future Directions -- Compositional Analysis of Protocol Equivalence in the Applied Ï€-calculus using Quasi-Open Bisimilarity -- Card-based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations -- Ono Normalising Lustre Preserves Security -- Synthesis and Learning Learning Probabilistic Automata using Residuals -- Deductive Synthesis of Sorting Algorithms in Theorema -- Reactive Synthesis from Visibly Register Pushdown Automata -- Systems Calculi and Analysis ComplexityParser: an automatic tool for certifying poly-time complexity of Java programs -- A Calculus for Attribute-based Memory Updates -- A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings [documento electrónico] / Cerone, Antonio, ; Ölveczky, Peter Csaba, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 405 p. 98 ilustraciones, 46 ilustraciones en color.
ISBN : 978-3-030-85315-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 Microprogramación Equipos de entrada y salida de computadora Software de la aplicacion Lógica informática y fundamentos de la programación Estructuras de control y microprogramación Entrada/Salida y Comunicaciones de Datos Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas del 18º Coloquio Internacional sobre Aspectos Teóricos de la Computación, ICTAC 2021, organizado por la Universidad Nazarbayev, Nur-Sultan, Kazajstán. Se suponÃa que el evento tendrÃa lugar en Nur-Sultan, Kazajstán, pero debido a la pandemia de COVID-19 se celebró de forma virtual. Los 15 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 40 presentaciones. El libro también contiene una charla invitada en papel completo. El libro aborda desafÃos tanto en los aspectos teóricos de la informática como en la explotación de la teorÃa a través de métodos y herramientas para el desarrollo de sistemas. Los 20 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 55 presentaciones. Los artÃculos cubren una amplia variedad de temas, que incluyen: obtener el mejor precio por vender sus datos personales; atacar a Bitcoin; optimizar diversas formas de verificación de modelos; sintetizar y aprender algoritmos; formalizar y verificar contratos, idiomas y compiladores; analizar la corrección y complejidad de programas y sistemas distribuidos; y encontrar conexiones desde pruebas en lógica proposicional hasta lenguajes de programación cuántica. Nota de contenido: Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins -- Qualitative–Quantitative Reasoning: thinking informally about formal things -- Model Checking and Machine Learning Joining Forces in Uppaal -- Databases and Distributed Transactions Some Aspects of the Database Resilience -- On the Correctness Problem for Serializability -- Efficient Model Checking Methods A Set Automaton to Locate All Pattern Matches in a Term -- Groote Accelerating SpMV Multiplication in Probabilistic Model Checkers using GPUs -- A divide & conquer approach to conditional stable model checking -- Formalization and Verification in Coq and Isabelle Certifying Choreography Compilation -- Mechanically Verified Theory of Contracts -- A Complete Semantics of K and Its Translation to Isabelle -- Quantum Computing A New Connective in Natural Deduction, and its Application to Quantum Computing -- Security and Privacy An Incentive Mechanism for Trading Personal Data in Data Markets -- Palamidessi Assessing Security of Crypto-Currencies with Attack-Defense Trees: Proof of Concept and Future Directions -- Compositional Analysis of Protocol Equivalence in the Applied Ï€-calculus using Quasi-Open Bisimilarity -- Card-based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations -- Ono Normalising Lustre Preserves Security -- Synthesis and Learning Learning Probabilistic Automata using Residuals -- Deductive Synthesis of Sorting Algorithms in Theorema -- Reactive Synthesis from Visibly Register Pushdown Automata -- Systems Calculi and Analysis ComplexityParser: an automatic tool for certifying poly-time complexity of Java programs -- A Calculus for Attribute-based Memory Updates -- A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude Tipo de documento: documento electrónico Autores: Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: London [UK] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 313 p. 17 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-1-4471-6687-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: IngenierÃa de software Simulación por ordenador TeorÃa de las máquinas Red de computadoras Modelado por computadora Lenguajes formales y teorÃa de los autómatas Redes de comunicación informática Clasificación: Resumen: Este libro de texto probado en el aula proporciona una introducción accesible al diseño, modelado formal y análisis de sistemas informáticos distribuidos. El libro utiliza Maude, un lenguaje de reescritura basado en lógica y una herramienta de simulación y verificación de modelos, que ofrece un formalismo de modelado simple e intuitivo que es adecuado para modelar sistemas distribuidos en un atractivo estilo de programación funcional y orientado a objetos. Temas y caracterÃsticas: Introduce la especificación algebraica clásica y la teorÃa de reescritura de términos, incluido el razonamiento sobre terminación, confluencia y propiedades ecuacionales. Cubre el modelado orientado a objetos de sistemas distribuidos utilizando lógica de reescritura, asà como lógica temporal para especificar los requisitos que debe satisfacer un sistema. Proporciona una gama de ejemplos y estudios de casos de diferentes dominios, para ayudar al lector a desarrollar una comprensión intuitiva de los sistemas distribuidos y sus desafÃos de diseño. Los ejemplos incluyen sistemas distribuidos clásicos como protocolos de transporte, protocolos criptográficos y transacciones distribuidas, elección de lÃder y algoritmos de ejecución mutua. Contiene una gran cantidad de ejercicios, incluidos ejercicios más amplios adecuados para proyectos de cursos, y proporciona código ejecutable y material complementario en un sitio web asociado. Este libro de texto independiente está diseñado para apoyar cursos de pregrado sobre métodos formales y sistemas distribuidos, y resultará invaluable para cualquier estudiante. buscando una introducción fácil de leer a la especificación formal, la lógica y los sistemas de inferencia, y las técnicas automatizadas de verificación de modelos. Dr. Peter Csaba Ölveczky es profesor del Departamento de Informática de la Universidad de Oslo, Noruega. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude [documento electrónico] / Ölveczky, Peter Csaba, . - 1 ed. . - London [UK] : Springer, 2017 . - XVIII, 313 p. 17 ilustraciones, 6 ilustraciones en color.
ISBN : 978-1-4471-6687-0
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 Simulación por ordenador TeorÃa de las máquinas Red de computadoras Modelado por computadora Lenguajes formales y teorÃa de los autómatas Redes de comunicación informática Clasificación: Resumen: Este libro de texto probado en el aula proporciona una introducción accesible al diseño, modelado formal y análisis de sistemas informáticos distribuidos. El libro utiliza Maude, un lenguaje de reescritura basado en lógica y una herramienta de simulación y verificación de modelos, que ofrece un formalismo de modelado simple e intuitivo que es adecuado para modelar sistemas distribuidos en un atractivo estilo de programación funcional y orientado a objetos. Temas y caracterÃsticas: Introduce la especificación algebraica clásica y la teorÃa de reescritura de términos, incluido el razonamiento sobre terminación, confluencia y propiedades ecuacionales. Cubre el modelado orientado a objetos de sistemas distribuidos utilizando lógica de reescritura, asà como lógica temporal para especificar los requisitos que debe satisfacer un sistema. Proporciona una gama de ejemplos y estudios de casos de diferentes dominios, para ayudar al lector a desarrollar una comprensión intuitiva de los sistemas distribuidos y sus desafÃos de diseño. Los ejemplos incluyen sistemas distribuidos clásicos como protocolos de transporte, protocolos criptográficos y transacciones distribuidas, elección de lÃder y algoritmos de ejecución mutua. Contiene una gran cantidad de ejercicios, incluidos ejercicios más amplios adecuados para proyectos de cursos, y proporciona código ejecutable y material complementario en un sitio web asociado. Este libro de texto independiente está diseñado para apoyar cursos de pregrado sobre métodos formales y sistemas distribuidos, y resultará invaluable para cualquier estudiante. buscando una introducción fácil de leer a la especificación formal, la lógica y los sistemas de inferencia, y las técnicas automatizadas de verificación de modelos. Dr. Peter Csaba Ölveczky es profesor del Departamento de Informática de la Universidad de Oslo, Noruega. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. 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.
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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
