Autor Mallet, Frédéric
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / Ermolayev, Vadim ; Mallet, Frédéric ; Yakovyna, Vitaliy ; Mayr, Heinrich C. ; Spivakovsky, Aleksander
Título : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Ermolayev, Vadim, ; Mallet, Frédéric, ; Yakovyna, Vitaliy, ; Mayr, Heinrich C., ; Spivakovsky, Aleksander, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 441 p. 255 ilustraciones, 113 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-39459-2 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: Informática Ingeniería Informática y Redes Inteligencia artificial Ingeniería de software Redes de comunicación informática Matemáticas Matemáticas de la Computación Ingeniería Informática Red informática Procesamiento de datos Educación Computadoras y Educación Índice Dewey: 371.334 Resumen: Este libro contiene versiones ampliadas de los mejores artículos presentados en la 15.ª Conferencia Internacional sobre Tecnologías de la Información y las Comunicaciones en la Educación, la Investigación y las Aplicaciones Industriales, ICTERI 2019, celebrada en Kherson, Ucrania, en junio de 2019. Los 19 artículos completos revisados incluidos en este El volumen fue cuidadosamente revisado y seleccionado entre 416 presentaciones iniciales. Los artículos están organizados en las siguientes secciones temáticas: avances en la investigación de TIC e SI; TIC en la enseñanza, el aprendizaje y la gestión educativa; Aplicaciones de las TIC en la práctica industrial y pública. Nota de contenido: Advances in ICT and IS Research -- ICT in Teaching, Learning, and Education Management -- Applications of ICT in Industrial and Public Practice. 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, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers [documento electrónico] / Ermolayev, Vadim, ; Mallet, Frédéric, ; Yakovyna, Vitaliy, ; Mayr, Heinrich C., ; Spivakovsky, Aleksander, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 441 p. 255 ilustraciones, 113 ilustraciones en color.
ISBN : 978-3-030-39459-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Informática Ingeniería Informática y Redes Inteligencia artificial Ingeniería de software Redes de comunicación informática Matemáticas Matemáticas de la Computación Ingeniería Informática Red informática Procesamiento de datos Educación Computadoras y Educación Índice Dewey: 371.334 Resumen: Este libro contiene versiones ampliadas de los mejores artículos presentados en la 15.ª Conferencia Internacional sobre Tecnologías de la Información y las Comunicaciones en la Educación, la Investigación y las Aplicaciones Industriales, ICTERI 2019, celebrada en Kherson, Ucrania, en junio de 2019. Los 19 artículos completos revisados incluidos en este El volumen fue cuidadosamente revisado y seleccionado entre 416 presentaciones iniciales. Los artículos están organizados en las siguientes secciones temáticas: avances en la investigación de TIC e SI; TIC en la enseñanza, el aprendizaje y la gestión educativa; Aplicaciones de las TIC en la práctica industrial y pública. Nota de contenido: Advances in ICT and IS Research -- ICT in Teaching, Learning, and Education Management -- Applications of ICT in Industrial and Public Practice. 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 : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hasan, Osman, ; Mallet, Frédéric, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: VIII, 141 p. 81 ilustraciones, 23 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-46902-3 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 Red de computadoras Programación lógica Computadoras Propósitos especiales Microprogramación Teoría de la Computación Redes de comunicación informática Lógica en IA Sistemas de propósito especial y basados en aplicaciones Estructuras de control y microprogramación Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del Séptimo Taller Internacional sobre Técnicas Formales para Sistemas Críticos para la Seguridad, FTSCS 2019, celebrado en Shenzhen, China, en noviembre de 2019. Los 6 artículos completos revisados presentados fueron cuidadosamente revisados y seleccionados entre 17 presentaciones. Además, el volumen presenta 1 artículo invitado, 1 artículo de herramienta y 1 trabajo en progreso. Los artículos se centran en los temas del uso de métodos formales para analizar sistemas críticos para la seguridad; métodos, técnicas y herramientas para respaldar el análisis, la certificación, la depuración, etc., automatizados de sistemas complejos de seguridad/QoS críticos; métodos de análisis que abordan las limitaciones de los métodos formales en la industria (usabilidad, escalabilidad, etc.); soporte de análisis formal para lenguajes de modelado utilizados en la industria; Generación de código a partir de modelos validados. Nota de contenido: Invited paper -- Avionics and Spacecraft -- Applications -- Tools and Work in Progress. . 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 : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers [documento electrónico] / Hasan, Osman, ; Mallet, Frédéric, . - 1 ed. . - [s.l.] : Springer, 2020 . - VIII, 141 p. 81 ilustraciones, 23 ilustraciones en color.
ISBN : 978-3-030-46902-3
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 Red de computadoras Programación lógica Computadoras Propósitos especiales Microprogramación Teoría de la Computación Redes de comunicación informática Lógica en IA Sistemas de propósito especial y basados en aplicaciones Estructuras de control y microprogramación Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del Séptimo Taller Internacional sobre Técnicas Formales para Sistemas Críticos para la Seguridad, FTSCS 2019, celebrado en Shenzhen, China, en noviembre de 2019. Los 6 artículos completos revisados presentados fueron cuidadosamente revisados y seleccionados entre 17 presentaciones. Además, el volumen presenta 1 artículo invitado, 1 artículo de herramienta y 1 trabajo en progreso. Los artículos se centran en los temas del uso de métodos formales para analizar sistemas críticos para la seguridad; métodos, técnicas y herramientas para respaldar el análisis, la certificación, la depuración, etc., automatizados de sistemas complejos de seguridad/QoS críticos; métodos de análisis que abordan las limitaciones de los métodos formales en la industria (usabilidad, escalabilidad, etc.); soporte de análisis formal para lenguajes de modelado utilizados en la industria; Generación de código a partir de modelos validados. Nota de contenido: Invited paper -- Avionics and Spacecraft -- Applications -- Tools and Work in Progress. . 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
