author = { Barringer, Howard Falcone, Ylies AND Finkbeiner, Bernd AND Havelund, Klaus AND Lee, Insup AND Pace, Gordon J. AND Rosu, Grigore AND Sokolsky, Oleg AND Tillmann, Nikolai },

title = { Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings },

publisher = {Springer Berlin Heidelberg},

isbn = {9783642166129},

keywords = { Computer software , Logic design , Computer Science , Computer science , Software engineering , Algorithms. , Computer programming. , Compilers (Computer programs). , Paperback / softback , Research , algorithm analysis , debugging , dynamic analysis , dynamic program analysis , fault protection , log file analysis , program understanding , program validation , program verification , runtime analysis , runtime checking , runtime monitoring , runtime reflection , runtime verification , security monitoring , specification languages , testing , trace analysis , tracing , Konferenzschrift 2010 Saint Julians , Echtzeitverarbeitung , Verifikation , Programmanalyse , Programmverifikation , Softwaretest , Debugging , Echtzeitsystem , Monitoring Informatik , Datensicherung , Computersicherheit , Software , Model Checking },

year = {2010},

booktitle = {Lecture Notes in Computer Science ; 6418},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

url = { http://slubdd.de/katalog?TN_libero_mab2 }