Trace Diagnostics for Signal-Based Temporal Properties.

Chaima Boufaied Claudio Menghi Domenico Bianculli Lionel C. Briand

Published in: IEEE Trans. Software Eng. (2023)

Keyphrases

temporal properties
model checking
formal methods
signal processing
possibility theory
frequency domain
temporal logic
high frequency
non stationary
expert systems
decision making
machine learning
building blocks
decision makers
object oriented
fuzzy logic
condition monitoring