Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : Proceedings /

Selección de ponencias de la quinta Conferencia Internacional sobre Verificación en Tiempo de Ejecución, celebrada en Toronto, Canadá, en septiembre de 2014. Los artículos cubren temas relacionados con monitoreo y corte de seguimiento, verificación en tiempo de ejecución de sistemas distribuidos, co...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor corporativo: International Conference on Runtime Verification ( Toronto, Canadá)
Otros autores: Bonakdarpour, Borzoo (edición) (edición), Smolka, Scott A. (edición) (edición)
Formato: Procedimiento de la conferencia Libro
Idioma:Inglés
Publicado: Cham, Suiza : Springer, 2014, c2014
Colección:(Lecture Notes in Computer Science ; 8734)
Temas:
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!
Descripción
Resumen:Selección de ponencias de la quinta Conferencia Internacional sobre Verificación en Tiempo de Ejecución, celebrada en Toronto, Canadá, en septiembre de 2014. Los artículos cubren temas relacionados con monitoreo y corte de seguimiento, verificación en tiempo de ejecución de sistemas distribuidos, concurrentes, integrados y en tiempo real, pruebas y búsqueda de errores, así como inferencia y aprendizaje.
Descripción física:1 libro electrónico en línea (XVIII, 358 p.)
1 recurso en línea
ISBN:978-3-319-11164-3
Acceso:Licencias ilimitadas