Inferring event stream abstractions

Kauffman, S; Havelund, K; Joshi, R; Fischmeister, S

Kauffman, S (reprint author), Univ Waterloo, Waterloo, ON, Canada.

FORMAL METHODS IN SYSTEM DESIGN, 2018; 53 (1): 54

Abstract

We propose a formalism for specifying event stream abstractions for use in spacecraft telemetry processing. Our work is motivated by the need to quick......

Full Text Link