Login / Signup
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach.
Chaima Boufaied
Claudio Menghi
Domenico Bianculli
Lionel C. Briand
Yago Isasi Parache
Published in:
ASE (2020)
Keyphrases
</>
temporal properties
model checking
possibility theory
formal methods
signal processing
non stationary
high frequency
neural network
frequency domain
high level
expert systems
mobile robot
probabilistic model
general purpose
temporal logic
metamodel