The Method of Failure Analysis for Safety-Critical System Software Based on Formalization
Xiaobo Zhou(Anhui Agricultural University), Qiao-Rui Du, Ru-Mei Shi, Yadong Zhang(Shanghai Jiao Tong University), Jin Fan
Cited by 0
Related Papers
UAV-Enabled Secure Communications: Joint Trajectory and Transmit Power Optimization
|IEEE Transactions on Vehicular Technology|2019|278
Joint Optimization of a UAV's Trajectory and Transmit Power for Covert Communications
|IEEE Transactions on Signal Processing|2019|254
Evidence of subsurface preferential flow using soil hydrologic monitoring in the Shale Hills catchment
|European Journal of Soil Science|2007|199
Intelligent Reflecting Surface (IRS)-Aided Covert Wireless Communications With Delay Constraint
|IEEE Transactions on Wireless Communications|2021|191