实时嵌入式系统模型校验技术
时间:11-03
来源:互联网
点击:
达到简化状态空间的目的。 尽管如此,模型校验仍被证明是无与伦比的系统需求或设计验证工具。该工具能在需求或设计的早期阶段发现瑕疵,因此能极大地节省后续的开发时间。
- CCITT CRC-16计算原理与实现(07-23)
- 基于有限状态机的嵌入式系统模型校验技术(10-14)
- IPC内嵌TMS320F206电表校验的接口实现(11-02)
- 基于FPGA的循环冗余校验码设计(03-06)
- CRC校验原理与程序设计——(RS485总线系统应用之1)(12-15)
- modbus的CRC校验程序(11-30)