ModelCoder

喜报｜迪捷软件“ModelCoder 建模及形式化验证代码生成软件”荣登浙江省首版次产品目录

近日，浙江省经济和信息化厅公布《2023年浙江省首版次软件产品应用推广指导目录》，浙江迪捷软件科技有限公司的“ModelCoder建模及形式化验证代码生成软件”经过多轮审核及专家评定被纳入目录，这是迪捷软件自主研发的产品继
迪捷软件·2024-01-20 12:02

论文阅读【异常检测】ModelCoder: A Fault Model based Automatic Root Cause Localization Framework for Microservi

ModelCoder:AFaultModelbasedAutomaticRootCauseLocalizationFrameworkforMicroserviceSystemsModelCoder：基于故障模型的微服务系统自动根源定位框架论文标题
Doooo19·2023-10-19 17:48

基于ModelCoder的汽车悬挂系统建模

本文将以汽车悬架为例，简要说明ModelCoder对悬架系统进行简
迪捷软件·2022-11-27 07:19

ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink

ModelCoder介绍在安全关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。
每天造轮子·2022-06-05 12:52
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他