Runtime Verification

Citation:

S. Kauffman, Havelund, K. , and Joshi, R. , “Runtime Verification”, nfer – A Notation and System for Inferring Event Stream Abstractions, 2016.

Download Citation

• BibTex
• Tagged
• XML