社区概况

照片

McSCert


麦克马斯特大学

最后一次看到:1年前|自2020年以来活跃

联系

麦克马斯特软件认证中心的麦克马斯特大学研究中心,加拿大。有关我们的工具的问题,电子邮件我们:mcscert.tools@gmail.com

统计数据

  • GitHub提交3级
  • 个人最好下载3级
  • 编辑器的选择
  • 第一次审查
  • 五星级星系四级
  • 第一次提交

视图徽章

内容提要

视图

提交


模型比较实用
模型比较实用程序提供了命令行功能支持模型的比较。万博1manbetx

1年前|下载|

缩略图

提交


十字路口导航和路径的估计
这个工具是一个扩展的自主驾驶工具箱:有向图的创建、路径估计和车辆阿明费……

1年前| 2 |下载

缩略图

提交


达到/ Coreach工具
该工具凸显了仿真软件的数据/控制流依赖模型和执行模型切片。万博1manbetx

2年前| 1 |下载

缩略图

提交


十字路口导航和路径的估计
这个工具是一个扩展的自主驾驶工具箱:有向图的创建、路径估计和V2V沟通……

2年前| 4 |下载

缩略图

提交


使模型工具
混淆的内容模型模型。万博1manbetx

2年前| 1 |下载

缩略图

提交


万博1manbetx仿真软件模块的工具
万博1manbetx支持建立一个仿真软件模块,句法接口和检查相关的指导方针万博1manbetx。

2年前| 1 |下载

缩略图

提交


万博1manbetxSimulink-to-Stateflow
Simu万博1manbetxlink-to-Stateflow工具翻译模型方框图进入Stateflow状态图表。

3年前11 |下载|

缩略图

提交


万博1manbetx仿真软件设计资料员
仿真软件万博1manbetx设计资料员生成软件设计仿真软件模型的描述。

3年前| 2 |下载

缩略图

提交


签名工具
签名工具提取仿真软件子系统的接口。万博1manbetx

3年前| 4 |下载

缩略图

提交


数据存储审视工具
数据存储审视工具(原数据存储下推工具)审视模型数据存储。万博1manbetx

3年前| 1 |下载

缩略图

提交


线-转到/从工具
行转到/从工具转换信号行转到/从连接,反之亦然。

3年前| 2 |下载

缩略图

提交


自动布局工具
自动布局工具用于自动提高模型仿真软件的布局。万博1manbetx

3年前| 5 |下载

缩略图