RTaW-Pegase實時通信網絡架構的建模,仿真和自動配置
安全關鍵系統軟件體系建模STOOD
AADL模型分析工具AADL Inspector
全數字仿真測試平臺V-Sim TP
DDS標準數據分發服務中間件Prism Tech Vortex
C++編程語言分析器前端EDG
建模和系統設計工具 IBM Systems Design Rhapsody
010-82695188