Runtime verification  9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /  [electronic resource] : 
 RV 2009 
edited by Saddek Bensalem, Doron A. Peled. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2009. 
 - 201 pages :  illustrations, digital. 
 - Lecture notes in computer science,  5779  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642046940 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)--Congresses.<br/>Computer programs--Verification--Congresses.<br/>Computer programs--Testing--Congresses.<br/>Logics and Meanings of Programs.<br/>Algorithm Analysis and Problem Complexity.<br/>System Performance and Evaluation.<br/>Programming Languages, Compilers, Interpreters.<br/>Performance and Reliability.<br/>Software Engineering.
<br/><br/><label>Dewey Class. No.: </label>005.131