Runtime verification 5th international conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Bonakdarpour, Borzoo (BerichterstatterIn), Smolka, Scott A. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham u.a. Springer 2014
Schriftenreihe:	Lecture notes in computer science 8734
Schlagworte:	Konferenzschrift > Systemanalyse > Computerarchitektur > Laufzeitsystem > Hardwareverifikation > Formale Methode > Programmanalyse > Softwarearchitektur > Programmlaufzeit > Programmverifikation
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!