Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and  8short papers were carefully reviewed and selected from 70 submis...

Description complète

Enregistré dans:
Détails bibliographiques
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Smolka, Scott A., Bonakdarpour, Borzoo
Format: eBook
Langue:English
Publié: Cham Springer International Publishing 2014.
Collection:Lecture Notes in Computer Science 8734
Sujets:
Accès en ligne:Click here to view the full text content
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

Opération de maintenance en cours

Notre système de gestion de bibliothèque est en cours de maintenance.

Les réservations et la disponibilité des documents sont momentanément indisponibles. Veuillez nous excuser pour la gêne occasionnée et nous contacter pour toute assistance :

david@pintaran.my

Internet

Click here to view the full text content