Autor Ölveczky, Peter Csaba
|
|
Documentos disponibles escritos por este autor (6)
Hacer una sugerencia 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 : 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 : 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 Índice Dewey: 40.151 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. 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 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 Índice Dewey: 40.151 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. 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 : Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude Tipo de documento: documento electrónico Autores: Ölveczky, Peter Csaba, Autor 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 Índice Dewey: 005.1 Programación (Computadoras) 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. . 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 Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude [documento electrónico] / Ölveczky, Peter Csaba, Autor . - 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 Índice Dewey: 005.1 Programación (Computadoras) 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. . 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 : 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
