• 基于人工智能的智慧能源...
• 基于物联网的城市管理解...
• 基于模型的验证管理解决...
• 基于模型的全生命周期质...
• 基于大数据的数据资产管...
• 基于远程互联网设备监控...
• 基于计算模型的安全协议...
• 基于BIP的AADL行为模型验...
• 基于Petri网的工作流模型...