1. No category

SysMLを拡張したSafeMLで、シ ステムの安全性をモデル化・ 設 計しよう