Special issue: RV 2015

Bibliographische Detailangaben

Körperschaft:	International Conference on Runtime Verification (VerfasserIn)
Weitere Verfasser:	Bartocci, Ezio (HerausgeberIn), Majumdar, Rupak (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New York Springer 2017
Schriftenreihe:	Formal methods in system design volume 51, number 1 (August 2017)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!