共 50 条
- [41] FEMA ROVER Version 2 and ROVER ATC-20, Mobile Earthquake Safety Software IMPROVING THE SEISMIC PERFORMANCE OF EXISTING BUILDINGS AND OTHER STRUCTURES 2015, 2015, : 787 - 796
- [42] Stereo vision and rover navigation software for Planetary Exploration 2002 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2002, : 2025 - 2036
- [43] Research on locomotion control of lunar Rover with six cylinder-conical wheels 2006 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS, VOLS 1-3, 2006, : 919 - +
- [44] System definition of Martian Moons Exploration (MMX) Proceedings of the International Astronautical Congress, IAC, 2020, 2020-October
- [45] Rover Waste Assay System PROCEEDINGS OF THE TOPICAL MEETING ON DECOMMISSIONING, DECONTAMINATION AND REUTILIZATION OF COMMERCIAL AND GOVERNMENT FACILITIES, 1997, : 579 - 586
- [46] SpaceWire network and communication technology in the MMX system SPACEWIRE AND SPACEFIBRE 2022: PROCEEDINGS OF THE 9TH 2022 INTERNATIONAL SPACEWIRE & SPACEFIBRE CONFERENCE (ISC), 2022, : 199 - 202
- [47] Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Formal Methods in System Design, 2004, 25 : 167 - 198
- [48] SSim: NASA Mars Rover Robotics Flight Software Simulation 2019 IEEE AEROSPACE CONFERENCE, 2019,
- [50] Formal Verification of Lunar Rover Control Software Using UPPAAL FM 2014: FORMAL METHODS, 2014, 8442 : 718 - 732