Información del autor
Autor Méry, Dominique |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsqueda7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / Raschke, Alexander ; Méry, Dominique ; Houdek, Frank
TÃtulo : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings Tipo de documento: documento electrónico Autores: Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 428 p. 675 ilustraciones, 66 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-48077-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: TeorÃa de las máquinas Inteligencia artificial IngenierÃa Informática Red de computadoras IngenierÃa de software Microprogramación Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Estructuras de control y microprogramación Clasificación: Resumen: Este libro constituye las actas arbitradas de la Séptima Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2020, que debÃa celebrarse en Ulm, Alemania, en mayo de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 12 artÃculos completos y 9 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 61 presentaciones. Se presentan en este volumen junto con 2 artÃculos invitados, 6 contribuciones a simposios de doctorado, asà como el estudio de caso y 6 artÃculos aceptados que describen sus soluciones. Los trabajos están organizados en las siguientes secciones: ponencias magistrales y ponencias invitadas; artÃculos de investigación periódicos; artÃculos breves; artÃculos que contribuyen al estudio de caso; ArtÃculos breves del simposio de doctorado (trabajo en curso). Nota de contenido: Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings [documento electrónico] / Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 428 p. 675 ilustraciones, 66 ilustraciones en color.
ISBN : 978-3-030-48077-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: TeorÃa de las máquinas Inteligencia artificial IngenierÃa Informática Red de computadoras IngenierÃa de software Microprogramación Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Estructuras de control y microprogramación Clasificación: Resumen: Este libro constituye las actas arbitradas de la Séptima Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2020, que debÃa celebrarse en Ulm, Alemania, en mayo de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 12 artÃculos completos y 9 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 61 presentaciones. Se presentan en este volumen junto con 2 artÃculos invitados, 6 contribuciones a simposios de doctorado, asà como el estudio de caso y 6 artÃculos aceptados que describen sus soluciones. Los trabajos están organizados en las siguientes secciones: ponencias magistrales y ponencias invitadas; artÃculos de investigación periódicos; artÃculos breves; artÃculos que contribuyen al estudio de caso; ArtÃculos breves del simposio de doctorado (trabajo en curso). Nota de contenido: Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings Tipo de documento: documento electrónico Autores: Raschke, Alexander, ; Méry, Dominique, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: X, 167 p. 41 ilustraciones, 33 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-77543-8 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: TeorÃa de las máquinas IngenierÃa Informática Red de computadoras Programación lógica Software de la aplicacion Compiladores (programas informáticos) Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Lógica en IA Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: Resumen: Este libro constituye las actas de la 8.ª Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2021, que estaba prevista para realizarse en Ulm, Alemania, del 6 al 11 de junio de 2021. La conferencia cambió a un formato en lÃnea debido a la pandemia de COVID. -19 pandemia. Los 6 artÃculos completos y 8 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Las actas también incluyen contribuciones a 3 simposios de doctorado. Se ocupan de métodos formales basados ​​en estados y en máquinas, principalmente máquinas de estados abstractos (ASM), Alloy, B, TLA+, VDM y Z. Nota de contenido: Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articlesof the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings [documento electrónico] / Raschke, Alexander, ; Méry, Dominique, . - 1 ed. . - [s.l.] : Springer, 2021 . - X, 167 p. 41 ilustraciones, 33 ilustraciones en color.
ISBN : 978-3-030-77543-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: TeorÃa de las máquinas IngenierÃa Informática Red de computadoras Programación lógica Software de la aplicacion Compiladores (programas informáticos) Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Lógica en IA Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: Resumen: Este libro constituye las actas de la 8.ª Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2021, que estaba prevista para realizarse en Ulm, Alemania, del 6 al 11 de junio de 2021. La conferencia cambió a un formato en lÃnea debido a la pandemia de COVID. -19 pandemia. Los 6 artÃculos completos y 8 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Las actas también incluyen contribuciones a 3 simposios de doctorado. Se ocupan de métodos formales basados ​​en estados y en máquinas, principalmente máquinas de estados abstractos (ASM), Alloy, B, TLA+, VDM y Z. Nota de contenido: Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articlesof the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings Tipo de documento: documento electrónico Autores: Abdelwahed, El Hassan, ; Bellatreche, Ladjel, ; Golfarelli, Matteo, ; Méry, Dominique, ; Ordonez, Carlos, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIX, 436 p. 143 ilustraciones ISBN/ISSN/DL: 978-3-030-00856-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 Inteligencia artificial TeorÃa de las máquinas Software de la aplicacion Compiladores e intérpretes Técnicas de programación Lenguajes formales y teorÃa de los autómatas Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas arbitradas de la 8h Conferencia Internacional sobre IngenierÃa de Datos y Modelos, MEDI 2018, celebrada en Marrakech, Marruecos, en octubre de 2018. Los 23 artÃculos completos y 4 artÃculos breves presentados junto con 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados de 86 presentaciones. Los trabajos cubrieron los temas recientes y relevantes en las áreas de bases de datos; ontologÃa e ingenierÃa basada en modelos; fusión, clasificación y aprendizaje de datos; tecnologÃas de la información y la comunicación; seguridad y proteccion; algoritmos y procesamiento de textos; y especificación, verificación y validación. Nota de contenido: Databases -- Ontology and model-driven engineering -- Data fusion, classsification and learning -- Communication and information technologies -- Safety and security -- Algorithms and text processing -- Specification, verification and validation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings [documento electrónico] / Abdelwahed, El Hassan, ; Bellatreche, Ladjel, ; Golfarelli, Matteo, ; Méry, Dominique, ; Ordonez, Carlos, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIX, 436 p. 143 ilustraciones.
ISBN : 978-3-030-00856-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 Inteligencia artificial TeorÃa de las máquinas Software de la aplicacion Compiladores e intérpretes Técnicas de programación Lenguajes formales y teorÃa de los autómatas Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas arbitradas de la 8h Conferencia Internacional sobre IngenierÃa de Datos y Modelos, MEDI 2018, celebrada en Marrakech, Marruecos, en octubre de 2018. Los 23 artÃculos completos y 4 artÃculos breves presentados junto con 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados de 86 presentaciones. Los trabajos cubrieron los temas recientes y relevantes en las áreas de bases de datos; ontologÃa e ingenierÃa basada en modelos; fusión, clasificación y aprendizaje de datos; tecnologÃas de la información y la comunicación; seguridad y proteccion; algoritmos y procesamiento de textos; y especificación, verificación y validación. Nota de contenido: Databases -- Ontology and model-driven engineering -- Data fusion, classsification and learning -- Communication and information technologies -- Safety and security -- Algorithms and text processing -- Specification, verification and validation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings Tipo de documento: documento electrónico Autores: Ait-Ameur, Yamine, ; Nakajima, Shin, ; Méry, Dominique, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2021 Número de páginas: XII, 346 p. 138 ilustraciones, 29 ilustraciones en color. ISBN/ISSN/DL: 978-981-1550546-- 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 Lógica matemática Lógica Matemática y Fundamentos Clasificación: Resumen: Este libro aborda los mecanismos para reducir la heterogeneidad de los modelos inducida por la ausencia de expresión semántica explÃcita en las técnicas formales utilizadas para especificar modelos de diseño. Más precisamente, destaca los avances en el manejo de la semántica tanto implÃcita como explÃcita en el desarrollo de sistemas formales, y analiza diferentes contribuciones que expresan diferentes puntos de vista y percepciones sobre la semántica implÃcita y explÃcita. El libro se basa en las discusiones de la reunión de Shonan sobre este tema celebrada en 2016, e incluye contribuciones de los participantes que resumen sus perspectivas sobre el problema y ofrecen soluciones. Dividido en 5 partes: modelado de dominio, modelado basado en conocimiento, modelado basado en pruebas, casos de aseguramiento y modelado basado en refinamiento, y ofrece inspiración para investigadores y profesionales en los campos de métodos formales, ingenierÃa de sistemas y software, modelado de conocimiento de dominio, análisis de requisitos y semántica explÃcita e implÃcita de lenguajes de modelado. Nota de contenido: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIPframework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings [documento electrónico] / Ait-Ameur, Yamine, ; Nakajima, Shin, ; Méry, Dominique, . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - XII, 346 p. 138 ilustraciones, 29 ilustraciones en color.
ISBN : 978-981-1550546--
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 Lógica matemática Lógica Matemática y Fundamentos Clasificación: Resumen: Este libro aborda los mecanismos para reducir la heterogeneidad de los modelos inducida por la ausencia de expresión semántica explÃcita en las técnicas formales utilizadas para especificar modelos de diseño. Más precisamente, destaca los avances en el manejo de la semántica tanto implÃcita como explÃcita en el desarrollo de sistemas formales, y analiza diferentes contribuciones que expresan diferentes puntos de vista y percepciones sobre la semántica implÃcita y explÃcita. El libro se basa en las discusiones de la reunión de Shonan sobre este tema celebrada en 2016, e incluye contribuciones de los participantes que resumen sus perspectivas sobre el problema y ofrecen soluciones. Dividido en 5 partes: modelado de dominio, modelado basado en conocimiento, modelado basado en pruebas, casos de aseguramiento y modelado basado en refinamiento, y ofrece inspiración para investigadores y profesionales en los campos de métodos formales, ingenierÃa de sistemas y software, modelado de conocimiento de dominio, análisis de requisitos y semántica explÃcita e implÃcita de lenguajes de modelado. Nota de contenido: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIPframework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24À“26, 2018, Proceedings Tipo de documento: documento electrónico Autores: Abdelwahed, El Hassan, ; Bellatreche, Ladjel, ; Benslimane, Djamal, ; Golfarelli, Matteo, ; Jean, St©phane, ; Méry, Dominique, ; Nakamatsu, Kazumi, ; Ordonez, Carlos, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: IX, 255 p. 90 ilustraciones ISBN/ISSN/DL: 978-3-030-02852-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 Inteligencia artificial Simulación por ordenador Ciencias de la Computación IngenierÃa Informática Red de computadoras Modelado por computadora TeorÃa de la Computación IngenierÃa Informática y Redes Clasificación: Resumen: Este libro constituye los artÃculos minuciosamente arbitrados de los talleres celebrados en la 8.ª Conferencia Internacional sobre Nuevas Tendencias en IngenierÃa de Modelos y Datos, MEDI 2018, en Marrakech, Marruecos, en octubre de 2018. Los 19 artÃculos completos y uno breve del taller fueron cuidadosamente revisados ​​y seleccionado entre 50 presentaciones. Los artÃculos están organizados de acuerdo con los 4 talleres: Taller Internacional sobre Modelado, Verificación y Pruebas de Sistemas CrÃticos Confiables, DETECT 2018, Taller de IngenierÃa de Datos y Modelos para el Bien Social, MEDI4SG 2018, Segundo Taller Internacional sobre Ciberseguridad y Seguridad Funcional en CiberfÃsica. Systems, IWCFS 2018, Taller internacional sobre modelo formal para dominar sistemas multifacéticos, REMEDY 2018. Nota de contenido: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018 -- Model and Data Engineering for Social Good Workshop, MEDI4SG 2018 -- Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems -- IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24À“26, 2018, Proceedings [documento electrónico] / Abdelwahed, El Hassan, ; Bellatreche, Ladjel, ; Benslimane, Djamal, ; Golfarelli, Matteo, ; Jean, St©phane, ; Méry, Dominique, ; Nakamatsu, Kazumi, ; Ordonez, Carlos, . - 1 ed. . - [s.l.] : Springer, 2018 . - IX, 255 p. 90 ilustraciones.
ISBN : 978-3-030-02852-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 Inteligencia artificial Simulación por ordenador Ciencias de la Computación IngenierÃa Informática Red de computadoras Modelado por computadora TeorÃa de la Computación IngenierÃa Informática y Redes Clasificación: Resumen: Este libro constituye los artÃculos minuciosamente arbitrados de los talleres celebrados en la 8.ª Conferencia Internacional sobre Nuevas Tendencias en IngenierÃa de Modelos y Datos, MEDI 2018, en Marrakech, Marruecos, en octubre de 2018. Los 19 artÃculos completos y uno breve del taller fueron cuidadosamente revisados ​​y seleccionado entre 50 presentaciones. Los artÃculos están organizados de acuerdo con los 4 talleres: Taller Internacional sobre Modelado, Verificación y Pruebas de Sistemas CrÃticos Confiables, DETECT 2018, Taller de IngenierÃa de Datos y Modelos para el Bien Social, MEDI4SG 2018, Segundo Taller Internacional sobre Ciberseguridad y Seguridad Funcional en CiberfÃsica. Systems, IWCFS 2018, Taller internacional sobre modelo formal para dominar sistemas multifacéticos, REMEDY 2018. Nota de contenido: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018 -- Model and Data Engineering for Social Good Workshop, MEDI4SG 2018 -- Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems -- IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
