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 [...] |
|  |