A Tutorial on Runtime Verification

G. Reger, Y. Falcone, K. Havelund

Research output: Chapter in Book/Report/Conference proceedingChapter

190 Downloads (Pure)
Original languageEnglish
Title of host publicationSummer School Marktoberdorf 2012 - Engineering Dependable Software Systems
Place of PublicationNATO Science for Peace and Security Series - D: Information and Communication Security
PublisherIOS Press
Volume34
Publication statusPublished - 2013

Cite this