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

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	International Conference on Runtime Verification ( Toronto, Canadá)
Weitere Verfasser:	Bonakdarpour, Borzoo (edición) (edición), Smolka, Scott A. (edición) (edición)
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Cham, Suiza : Springer, 2014, c2014
Schriftenreihe:	(Lecture Notes in Computer Science ; 8734)
Schlagworte:	Páginas en Línea - > Prueba y Medición Redes de Computadoras - > Prueba y Medición Sistemas Móviles de Comunicación - > Prueba y Medición Sistemas de Acceso Remoto - > Prueba y Medición Sistemas Computacionales - > Prueba y Medición Arquitectura de Software - > Prueba y Medición Paquetes (Software) - > Prueba y Medición Programación (Software) Ingeniería de Software - > Congresos - > Tema Principal Desarrollo de Sistemas Sistemas Computacionales Ingeniería Computacional
Online-Zugang:	Ver documento en línea
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!