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]

Authors

Yong Guan

This author has not been identified. Look up 'Yong Guan' in Google

Jie Zhang

This author has not been identified. It may be one of the following persons: Look up 'Jie Zhang' in Google

Zhiping Shi 0002

This author has not been identified. Look up 'Zhiping Shi 0002' in Google

Yi Wang

This author has not been identified. Look up 'Yi Wang' in Google

Yongdong Li

This author has not been identified. Look up 'Yongdong Li' in Google