Formal analysis of continuous-time systems using Fourier transform.

Adnan Rashid Osman Hasan

Published in: J. Symb. Comput. (2019)

Keyphrases

fourier transform
formal analysis
frequency domain
formal methods
signal processing
fourier domain
neural network
software engineering
radon transform
fourier coefficients
agent model
fourier descriptors
frequency spectrum
correlation function