Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems

Yong Guan, Jie Zhang, Zhiping Shi 0002, Yi Wang, Yongdong Li. Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems. Journal of Systems Architecture, 106:101707, 2020. [doi]

Abstract

Abstract is missing.