テクマトリックス 西田と申します。 昨年度になるかと思いますが、JAXAでのTOPPERS/HRPの成果として「リアルタイ ム OS 高信頼化ハンドブック」が作成されたかと思いますが、これ、どこから入 手可能なのでしょうか。 どなたかご存じであれば、ご教示お願いします。