| 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 |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| 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. |
| 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 |
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 |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| 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. |
| 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 |
|  |
Hacer una sugerencia Refinar búsquedaMEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24Ѐ“26, 2018, Proceedings / Abdelwahed, El Hassan ; Bellatreche, Ladjel ; Benslimane, Djamal ; Golfarelli, Matteo ; Jean, St©phane ; Méry, Dominique ; Nakamatsu, Kazumi ; Ordonez, Carlos
