火龙果会员
注册
找回密码
为了提供高质量资源，您可以捐助，支持我们的公益事业。
1元
10元
50元
100元
必填
视频登录
注册
找回密码
为了大家更好的学习，您可以捐助，支持我们的公益事业。
购买会员登陆
找回密码
网络课程会员
找回密码
求知
文章
文库
Lib
视频
iPerson
课程
认证
咨询
工具
讲座
Model Center
Code
会员
业务架构设计
4月18-19日 在线直播
基于UML和EA进行系统分析设计
4月25-26日 北京+在线
AI 智能化软件测试方法与实践
5月23-24日 上海+在线
视频：模型检查器-Checker
3767 次浏览
175 次
捐助
your browser does not support the video tag
俎涛
火龙果软件工程
视频介绍
视频主要介绍模型检查器-Checker，可以对模型的接口分析、元素、关系、类、用例、图（顺序图、状态图）进行检查。
捐助
其他人还看了
系统仿真：协同攻击（坦克、无人机、步兵）
838 次浏览
讲座：基于模型的软件开发
1709 次浏览
数据模型-DDL正逆向（iSpace）
643 次浏览
模型的继承：状态机~iSpace
1114 次浏览
使用SysML对FPGA建模 ( VHDL代码 ）
49594 次浏览
神经网络算法模型仿真
327 次浏览
175 次 
捐助
