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

詳細記述

保存先:
書誌詳細
団体著者: International Conference on Runtime Verification ( Toronto, Canadá)
その他の著者: Bonakdarpour, Borzoo (edición) (edición), Smolka, Scott A. (edición) (edición)
フォーマット: 会議録 図書
言語:英語
出版事項: Cham, Suiza : Springer, 2014, c2014
シリーズ:(Lecture Notes in Computer Science ; 8734)
主題:
オンライン・アクセス:Ver documento en línea
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

インターネット

Ver documento en línea
予約・返却請求 IT2
請求記号:
Libro en línea
Ejemplar 567480-1
Disponible
Préstamo en línea
コレクション:
Libros electrónicos en línea
注記:
Consultar en línea