A Tutorial on Runtime Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yliès Falcone, Klaus Havelund, Giles Reger. A Tutorial on Runtime Verification. In Manfred Broy, Doron Peled, Georg Kalus, editors, Engineering Dependable Software Systems. Volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 141-175, IOS Press, 2013. [doi]

This author has not been identified. It may be one of the following persons:

Yliès Falcone

Look up 'Yliès Falcone' in GoogleThis author has not been identified. It may be one of the following persons:

Klaus Havelund

Look up 'Klaus Havelund' in GoogleThis author has not been identified. Look up 'Giles Reger' in Google

runs on WebDSL