Runtime verification Second international conference, RV 2011, San Francisco, CA, USA, September 27 - 30, 2011 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	RV (BerichterstatterIn)
Weitere Verfasser:	Khurshid, Sarfraz (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2012
Schriftenreihe:	Lecture notes in computer science 7186
Schlagworte:	Computer software > Verification > Formal methods (Computer science) > Testing > Konferenzschrift > Systemanalyse > Computerarchitektur > Laufzeitsystem > Hardwareverifikation > Formale Methode > Programmanalyse > Softwarearchitektur > Programmlaufzeit > Programmverifikation
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!