共 50 条
- [21] Shooting to the Stars: Secure Location Verification via Meteor Burst Communications 2018 IEEE CONFERENCE ON COMMUNICATIONS AND NETWORK SECURITY (CNS), 2018,
- [23] Modelling and Verification of Web Navigation WEB ENGINEERING, PROCEEDINGS, 2009, 5648 : 181 - +
- [24] Modelling and verification of bridge behaviour 3RD SCIENTIFIC CONFERENCE ENVIRONMENTAL CHALLENGES IN CIVIL ENGINEERING (ECCE 2018), 2018, 174
- [26] EVALUATING THE ROCK STRIKE RESISTANCE OF TRANSPARENT ARMOR MATERIALS ADVANCES IN CERAMIC ARMOR X, 2015, : 37 - 48
- [27] Modelling and Verification for Swarm Robotics INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 1 - 19
- [29] Verification of emissions by inverse modelling NON-C02 GREENHOUSE GASES: SCIENTIFIC UNDERSTANDING, CONTROL OPTIONS AND POLICY ASPECTS, 2002, : 511 - 515
- [30] Development and experimental verification of C-arm camera shooting locator SCIENTIFIC REPORTS, 2022, 12 (01):