Home > Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Book Informaton
Author
Saddek Bensalem; Doron A. Peled
Series
Lecture Notes in Computer Science
Volume
5779
Year of Publication
2009
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
VII, 203
Language
en
ISBN
9783642046933, 9783642046940, 3642046932
ARI Id
1664696804595
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |
Topics
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 Logic design Computer system performance Computer science Software engineering Operating systems (Computers) Computer software testing