| Título : |
12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Atig, Mohamed Faouzi, ; Bensalem, Saddek, ; Bliudze, Simon, ; Monsuez, Bruno, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XIV, 219 p. 66 ilustraciones |
| ISBN/ISSN/DL: |
978-3-030-00359-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: |
Algoritmos Ciencias de la Computación Teoría de las máquinas Ingeniería de software Computadoras digitales electrónicas Ordenadores Profesiones Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Rendimiento y evaluación del sistema La profesión informática |
| Índice Dewey: |
518.1 |
| Resumen: |
Este libro constituye las actas de la 12.ª Conferencia Internacional sobre Verificación y Evaluación de Sistemas Informáticos y de Comunicación (VECoS 2018) celebrada en Grenoble, Francia, en septiembre de 2018. Los 11 artículos completos de este volumen, presentados junto con un resumen y dos artículos invitados, fueron cuidadosamente revisados y seleccionados de 23 presentaciones. El objetivo de la conferencia VECoS es reunir a investigadores y profesionales en las áreas de verificación, control, rendimiento y evaluación de confiabilidad para discutir el estado del arte y los desafíos en los sistemas informáticos y de comunicación modernos en los que las propiedades funcionales y extrafuncionales están fuertemente interrelacionadas. Por lo tanto, la principal motivación para VECoS es fomentar la fertilización cruzada entre varios enfoques, métodos y técnicas de verificación y evaluación formales, y especialmente aquellos desarrollados para sistemas de hardware/software concurrentes y distribuidos. |
| Nota de contenido: |
Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems. |
| 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 |
12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings [documento electrónico] / Atig, Mohamed Faouzi, ; Bensalem, Saddek, ; Bliudze, Simon, ; Monsuez, Bruno, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 219 p. 66 ilustraciones. ISBN : 978-3-030-00359-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |
Hacer una sugerencia Refinar búsqueda12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / Atig, Mohamed Faouzi ; Bensalem, Saddek ; Bliudze, Simon ; Monsuez, Bruno
