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

Ful tanımlama

Detaylı Bibliyografya

Müşterek Yazar:	International Conference on Runtime Verification ( Toronto, Canadá)
Diğer Yazarlar:	Bonakdarpour, Borzoo (edición) (edición), Smolka, Scott A. (edición) (edición)
Materyal Türü:	Konferans Sunumu Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham, Suiza : Springer, 2014, c2014
Seri Bilgileri:	(Lecture Notes in Computer Science ; 8734)
Konular:	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 Erişim:	Ver documento en línea
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!