Brijesh Dongol. An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers. Volume 694 of Communications in Computer and Information Science, pages 20-35, 2016. [doi]
Abstract is missing.