共 50 条
- [45] Formal methods for the International Space Station ISS CORRECT SYSTEM DESIGN: RECENT INSIGHTS AND ADVANCES, 1999, 1710 : 363 - 389
- [46] The Alpha Magnetic Spectrometer on the International Space Station ASTROPARTICLE, PARTICLE AND SPACE PHYSICS, DETECTORS AND MEDICAL PHYSICS APPLICATIONS, 2008, 4 : 896 - 900
- [47] THE ALPHA MAGNETIC SPECTROMETER ON THE INTERNATIONAL SPACE STATION INTERNATIONAL JOURNAL OF MODERN PHYSICS E, 2012, 21 (08):
- [48] AMS-02 on the International Space Station 1ST INTERNATIONAL CONFERENCE ON NEW FRONTIERS IN PHYSICS, 2014, 70
- [49] Alternative futures for crewed space cooperation after the international space station JOURNAL OF SPACE SAFETY ENGINEERING, 2023, 10 (01): : 88 - 94