Runtime Verification
Subtitle: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
By: edited by Oleg Sokolsky, Serdar Taşıran
Contributors: Tasiran, Serdar; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 4839
Publisher: Springer-Verlag Berlin Heidelberg; Springer
Published: 2007
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 213
ISBN-13: 9783540773948; 9783540773955
Subjects: Logic design; Computer science; Software engineering; Information networks