Autor Steffen, Martin
|
|
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsquedaSEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers / Camara, Javier ; Steffen, Martin
TÃtulo : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Camara, Javier, ; Steffen, Martin, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 277 p. 230 ilustraciones, 28 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-57506-9 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 Programación lógica Procesamiento del lenguaje natural (Informática) Microprogramación Sistemas informáticos Software de la aplicacion TeorÃa de la Computación Lógica en IA Procesamiento del lenguaje natural (PNL) Estructuras de control y microprogramación Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 40.151 Resumen: El volumen LNCS 12226 constituye los artÃculos revisados ​​seleccionados de los cuatro talleres realizados conjuntamente con la 17.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2019. Los 13 artÃculos completos presentados junto con 7 artÃculos breves en este volumen fueron cuidadosamente revisados ​​y seleccionados de un total de 45 presentaciones. Surgen de los siguientes talleres: CoSim-CPS 2019 – 3er Taller Internacional sobre Co-Simulación Formal de Sistemas CiberfÃsicos; ASYDE 2019 - 1er Taller Internacional sobre Cognición: Fundamentos, Modelos y Aplicaciones Interdisciplinarios; y FOCLASA 2019 - 17° Taller Internacional sobre Fundamentos de Lenguajes de Coordinación y Sistemas Autoadaptativos. Nota de contenido: Software Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods. 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 SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers [documento electrónico] / Camara, Javier, ; Steffen, Martin, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 277 p. 230 ilustraciones, 28 ilustraciones en color.
ISBN : 978-3-030-57506-9
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 Programación lógica Procesamiento del lenguaje natural (Informática) Microprogramación Sistemas informáticos Software de la aplicacion TeorÃa de la Computación Lógica en IA Procesamiento del lenguaje natural (PNL) Estructuras de control y microprogramación Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 40.151 Resumen: El volumen LNCS 12226 constituye los artÃculos revisados ​​seleccionados de los cuatro talleres realizados conjuntamente con la 17.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2019. Los 13 artÃculos completos presentados junto con 7 artÃculos breves en este volumen fueron cuidadosamente revisados ​​y seleccionados de un total de 45 presentaciones. Surgen de los siguientes talleres: CoSim-CPS 2019 – 3er Taller Internacional sobre Co-Simulación Formal de Sistemas CiberfÃsicos; ASYDE 2019 - 1er Taller Internacional sobre Cognición: Fundamentos, Modelos y Aplicaciones Interdisciplinarios; y FOCLASA 2019 - 17° Taller Internacional sobre Fundamentos de Lenguajes de Coordinación y Sistemas Autoadaptativos. Nota de contenido: Software Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods. 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
