Runtime Verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

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.The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Khurshid Sarfraz, Sen Koushik (Directeur de publication), Khurshid Sarfaz (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Runtime Verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen.
Édition : 1st ed. 2012.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Collection : Programming and Software Engineering ; 7186
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Computer Science
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Software Engineering
Programming Techniques
Computer Science Logic and Foundations of Programming
Algorithms
Compilers and Interpreters
Formal Languages and Automata Theory
Documents associés : Autre format: Runtime Verification
Autre format: Runtime Verification

Internet

https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-29860-8