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...

Descrición completa

Gardado en:
Detalles Bibliográficos
Autor Corporativo: International Conference on Runtime Verification ( Toronto, Canadá)
Outros autores: Bonakdarpour, Borzoo (edición), Smolka, Scott A. (edición)
Formato: Procedimiento de la conferencia Libro
Idioma:inglés
Publicado: Cham, Suiza : Springer, 2014, c2014
Series:(Lecture Notes in Computer Science ; 8734)
Temas:
Acceso en liña:Ver documento en línea
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares: Runtime Verification :