visualSTATE 5.4 part 5 (5-11)
visualSTATE 提供先进的验证和测试工具，能够生成非常紧凑的C/C++ 代码，并与您的系统设计保持100% 一致。
自动从状态机模型生成C/C++ 代码
自动产生全部文档
直观的, 容易的使用图形化编辑器
丰富的验证和模拟工具， 包括使用RealLink进行器件上调试能力
满足UML状态机标准
文件下载
评论信息
-
-
-
dolimen :在形式化开发过程中，本书很有帮助2012-06-14 -
其他资源
- 连续投影算法SAP-matlab程序
- 雷达数字配相法多波束形成仿真程序
- 联想Q170 IZ1X0A 编程器固件
- IEC 62388-《海上导航和无线电通信设备和系统——船载雷达——性能要求、测试方法和要求的测试结果》
- common.rar
- 人工智能大作业
- 设计模式实训教程刘
- 用matlab编的基于DTW和MFC算法的语音识别程序
- Node.js 从零开发 web server博客项目 前端晋升全栈工程师必备项目笔记及源码
- KeyboardHook.dll
- Emulation Connection OPC DA Connection.fsm
- java Tomcat 和前端用到的包
- javaWeb三层框架.docx
- aoc2020-源码
- 生成带有logo的二维码（免费）
- 第三方无线-无线优化-通用-L3 中国移动网上大学
- 使用treeview listview实现我的资源管理器
- Qt131313135
- TI 文件 库 元器件
- 蚁群算法实现TSP问题
- New Directions of Cryptograph《密码学新方向》中文版
- Matlab GUI图像图形基础教程
- POI官方Jar包
- 240128lcd驱动程序
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明