%0
Generic
%T
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
%A Barringer, Howard
%A Falcone, Ylies
%A Finkbeiner, Bernd
%A Havelund, Klaus
%A Lee, Insup
%A Pace, Gordon J.
%A Rosu, Grigore
%A Sokolsky, Oleg
%A Tillmann, Nikolai
%I Springer Berlin Heidelberg
%@ 9783642166129
%K Computer software
%K Logic design
%K Computer Science
%K Computer science
%K Software engineering
%K Algorithms.
%K Computer programming.
%K Compilers (Computer programs).
%K Paperback / softback
%K Research
%K algorithm analysis
%K debugging
%K dynamic analysis
%K dynamic program analysis
%K fault protection
%K log file analysis
%K program understanding
%K program validation
%K program verification
%K runtime analysis
%K runtime checking
%K runtime monitoring
%K runtime reflection
%K runtime verification
%K security monitoring
%K specification languages
%K testing
%K trace analysis
%K tracing
%K Konferenzschrift 2010 Saint Julians
%K Echtzeitverarbeitung
%K Verifikation
%K Programmanalyse
%K Programmverifikation
%K Softwaretest
%K Debugging
%K Echtzeitsystem
%K Monitoring Informatik
%K Datensicherung
%K Computersicherheit
%K Software
%K Model Checking
%D 2010
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2