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

Full beskrivning

Sparad:
Bibliografiska uppgifter
Institutionellt upphov: International Conference on Runtime Verification ( Toronto, Canadá)
Övriga upphov: Bonakdarpour, Borzoo (edición), Smolka, Scott A. (edición)
Materialtyp: Konferenspublikation Bok
Språk:engelska
Utgiven: Cham, Suiza : Springer, 2014, c2014
Serie:(Lecture Notes in Computer Science ; 8734)
Ämnen:
Länkar:Ver documento en línea
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Internet

Ver documento en línea
Beståndsuppgifter i IT2
Hyllsignum:
Libro en línea
Ejemplar 567480-1
Disponible
Préstamo en línea
Samling:
Libros electrónicos en línea
Anmärkningar:
Consultar en línea