Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and  2 tutorials were carefully reviewed...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Tasiran, Serdar, Qadeer, Shaz
Formato: livro electrónico
Idioma:English
Publicado em: Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Colecção:Lecture Notes in Computer Science 7687
Assuntos:
Acesso em linha:Click here to view the full text content
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados