Original language | English |
---|---|
Title of host publication | Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems |
Place of Publication | NATO Science for Peace and Security Series - D: Information and Communication Security |
Publisher | IOS Press |
Volume | 34 |
Publication status | Published - 2013 |
A Tutorial on Runtime Verification
G. Reger, Y. Falcone, K. Havelund
Research output: Chapter in Book/Report/Conference proceeding › Chapter
190
Downloads
(Pure)