By 2024, the spacecraft "Orion" developed by Lockheed Martin will bring humans to the moon in NASA's Artemis program. The system invariant analysis technology, one of NEC's Artificial Intelligence technologies, will perform checks to ensure that the ...