Z规约

Z规约技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

资源总数
500

Z规约 热门资料

查看全部 500 份 →

文章根据ERP 系统的特点,提出在系统设计阶段,采用形式化标记语言——Z 语言对系统框架进行精确描述,以期提高系统构建的可靠性,降低开发风险,减少维护成本。文中根据三层框架结构,分层描述了公共对象层,

2024-01-25 7 Z规约

文章根据ERP 系统的特点,提出在系统设计阶段,采用形式化标记语言——Z 语言对系统框架进行精确描述,以期提高系统构建的可靠性,降低开发风险,减少维护成本。文中根据三层框架结构,分层描述了公共对象层,

2024-04-08 5 Z规约

一套关于FPGA时序约束的实用方法指南,涵盖设计中常见的时序问题及对应的约束策略,提供具体计算方式和实施建议,适用于数字电路与时序分析场景。

2026-03-17 2 Z规约

约瑟夫环的实现,几个小孩站成一圈报数,从m报到s,报s的人出列,输出出列的次序

2016-05-23 113 Z规约