visualSTATE 5.4 part 5 (5-11)
visualSTATE 提供先进的验证和测试工具，能够生成非常紧凑的C/C++ 代码，并与您的系统设计保持100% 一致。
自动从状态机模型生成C/C++ 代码
自动产生全部文档
直观的, 容易的使用图形化编辑器
丰富的验证和模拟工具， 包括使用RealLink进行器件上调试能力
满足UML状态机标准
文件下载
评论信息
-
-
-
dolimen :在形式化开发过程中，本书很有帮助2012-06-14 -
其他资源
- FXLMS主动降噪simulink模型.rar
- c#ocr读取图片文字
- AccessJdbc驱动JAR包
- multisim函数信号发生器
- 跳棋游戏(人人对弈)
- STK安装包及教材工具书
- 云平台技术指标
- iReport生成二维码的案例
- 慈善总会网站源码
- 光伏并网开环控制
- VMTK Tutorials
- Linux ntpclient代码
- 论文研究-基于MATLAB的数字图像边缘检测技术 .pdf
- 典型相关分析具体过程算法
- actionscript3 Flex游戏开发之棋牌类游戏 21点游戏 源代码.rar
- 四川大学《操作系统》17年和18年期末考试真题.pdf
- 电商网站前台模板
- 数据压缩 算术编码 c++ 程序
- python参考手册第四版带书签
- Axure RP Pro 6.5序列号和汉化包
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明