Información del autor
Autor Mallet, Frédéric |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
