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]
@article{GuanZSWL20,
title = {Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems},
author = {Yong Guan and Jie Zhang and Zhiping Shi 0002 and Yi Wang and Yongdong Li},
year = {2020},
doi = {10.1016/j.sysarc.2020.101707},
url = {https://doi.org/10.1016/j.sysarc.2020.101707},
researchr = {https://researchr.org/publication/GuanZSWL20},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {106},
pages = {101707},
}