Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011.<br>The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demon...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: Sen, Koushik, Khurshid, Sarfraz
Médium: E-kniha
Jazyk:English
Vydáno: Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Edice:Lecture Notes in Computer Science 7186
Témata:
On-line přístup:Click here to view the full text content
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!