941 followers
Runtime Verification of Temporal Properties over Out-of-order Data Streams. https://t.co/cF2gjYcDtA
Runtime Verification of Temporal Properties over Out-of-order Data Streams. https://t.co/cF2gjYcDtA
#arXiv #cs_LO "Runtime Verification of Temporal Properties over Out-of-order Data Streams. (arXiv:1707.05555v1 [cs… https://t.co/QUgGNiF5qR