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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: SpringerLink (Online service)
Weitere Verfasser: Smolka, Scott A., Bonakdarpour, Borzoo
Format: E-Book
Sprache:English
Veröffentlicht: Cham Springer International Publishing 2014.
Schriftenreihe:Lecture Notes in Computer Science 8734
Schlagworte:
Online Zugang:Click here to view the full text content
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

david@pintaran.my

Online

Click here to view the full text content