Runtime verification
Subtitle: 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
By: Saddek Bensalem, Doron A. Peled (eds.).
Contributors: Bensalem, Saddek; Peled, Doron, 1962-
Series: Lecture notes in computer science -- 5779; LNCS sublibrary: SL 2-programming and software engineering; Lecture notes in computer science -- 5779.; LNCS sublibrary
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 201
ISBN-13: 9783642046933
Subjects: Echtzeitsystem; Monitoring (Informatik); Computer software; Computersicherheit; Model Checking; Verification; Formal methods (Computer science); Software; Datensicherung; Formale Methode; Testing; Aspect-oriented programming; Congresses; Echtzeitverarbeitung; Testen; Verifikation
Notes: Includes bibliographical references and index.

Also issued online.