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...
Sparad:
| Institutionellt upphov: | |
|---|---|
| Övriga upphov: | , |
| 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: |
Inga taggar, Lägg till första taggen!
|
Internet
Ver documento en línea| 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
|