共 39 条
- [1] Design and Runtime Verification Side-by-Side in eTrice NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 255 - 262
- [5] Experimental study of wind load on three square prisms of side-by-side arrangements Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2003, 37 (03): : 290 - 293