visualSTATE 5.4 part 5 (5-11)
visualSTATE 提供先进的验证和测试工具，能够生成非常紧凑的C/C++ 代码，并与您的系统设计保持100% 一致。
自动从状态机模型生成C/C++ 代码
自动产生全部文档
直观的, 容易的使用图形化编辑器
丰富的验证和模拟工具， 包括使用RealLink进行器件上调试能力
满足UML状态机标准
文件下载
评论信息
-
-
-
dolimen :在形式化开发过程中，本书很有帮助2012-06-14 -
其他资源
- 数字信号处理_第四版_Sanjit_课后答案[2-7章，英文版]
- CAN总线嵌入式开发 从入门到实战 第2版
- USB转I2C,SPI,CAN,GPIO,UART,ADC,PWM,GPIO上位机软件
- E-prime真正破解版
- PowerShell 2.0 and WinRM 2.0 for Windows XP SP3
- 65个IDL的图像处理的范例代码
- 校园网组建与设计———毕业设计
- 从混合有GPGGA报文的数据中提取GGA，并且计算固定解标准差
- html模仿微信支付页面
- Ansys Maxwell 16.0 破解Crack
- 软件需求分析模板
- JBPM基于Spring系统工作流平台整合(三)
- 粒子群算法
- ISO 20387：2018 生物技术 - 生物库的一般要求 - 完整英文版（75页）
- 【OpenGL】二十四、OpenGL 纹理贴图 ( 读取文件内容 桌面程序添加控制台窗口 ).zip
- Android-async-http-1.4.9.jar
- JAVA万能模拟器KEmulator0.9.7汉化版
- origin8.0 中文版 破解方法
- 电力系统计算程序及其实现
- WindowsSKD RC.exe
- 基于C51单片机的交通灯开发
- 订单管理系统（Java swing poi）
- MATLAB精彩编程100例
- 24点游戏源代码
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明