RTaW-Pegase实时通信网络架构的建模,仿真和自动配置
安全关键系统软件体系建模STOOD
AADL模型分析工具AADL Inspector
全数字仿真测试平台V-Sim TP
DDS标准数据分发服务中间件Prism Tech Vortex
C++编程语言分析器前端EDG
建模和系统设计工具 IBM Systems Design Rhapsody
010-82695188