Regular Paper
DSRV: Reconfigurable Stream Runtime Verification With Context Transfers
M. Kristensen, T. Wright, M. Frasheri, C. Gomes, P. Larsen, L. Esterle
Sponsored by:
Formal Methods Europe
