科学计算-数学建模-系统仿真-代码生成-AUTOSAR工具链-甘茨软件科技（上海）有限公司

作为自主开发的科学计算与仿真建模软件,Ganzlab主要应用于科学计算,数学建模,系统仿真,信号处理,代码生成,决策优化,线性,非线性控制等科学和工程领域.并专门为汽车行业电子,电气领域定制开发了基于AUTOSAR标准的国产化仿真工具链,以及基于MBD技术的汽车电子嵌入式软件开发解决方案.欢迎来电咨询详情:13818245848

更新时间：2025-07-13 直链：ganztech.com

中科国创高可信软件有限公司-首页

High-ConfidenceSoftware用高可信软件技术守护你的每一行代码,源自中科大技术团队自主研发工具系列,通过程序分析,程序验证提供代码质量与安全的双重保障...

更新时间：2025-04-18 直链：www.ustchcs.com