| TÃtulo : |
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XII, 428 p. 675 ilustraciones, 66 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-48077-6 |
| 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: |
TeorÃa de las máquinas Inteligencia artificial IngenierÃa Informática Red de computadoras IngenierÃa de software Microprogramación Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Estructuras de control y microprogramación |
| Clasificación: |
|
| Resumen: |
Este libro constituye las actas arbitradas de la Séptima Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2020, que debÃa celebrarse en Ulm, Alemania, en mayo de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 12 artÃculos completos y 9 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 61 presentaciones. Se presentan en este volumen junto con 2 artÃculos invitados, 6 contribuciones a simposios de doctorado, asà como el estudio de caso y 6 artÃculos aceptados que describen sus soluciones. Los trabajos están organizados en las siguientes secciones: ponencias magistrales y ponencias invitadas; artÃculos de investigación periódicos; artÃculos breves; artÃculos que contribuyen al estudio de caso; ArtÃculos breves del simposio de doctorado (trabajo en curso). |
| Nota de contenido: |
Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings [documento electrónico] / Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 428 p. 675 ilustraciones, 66 ilustraciones en color. ISBN : 978-3-030-48077-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |
Crear una solicitud de compra Refinar búsqueda7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / Raschke, Alexander ; Méry, Dominique ; Houdek, Frank
