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 a...
Zapisane w:
| Kolejni autorzy: | , |
|---|---|
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Wydanie: | 1st ed. 2013. |
| Seria: | Programming and Software Engineering
7687 |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Runtime Verification, Texte imprimé, 9783642356315 • Runtime Verification, Texte imprimé, 9783642356339 |