点击切换搜索课件文库搜索结果(901)
文档格式:DOC 文档大小:52KB 文档页数:7
上海交通大学:《程序设计思想与方法》课程教学资源_往年试卷_CT2012-A卷-final 2_参考答案
文档格式:PDF 文档大小:32.54MB 文档页数:532
上海交通大学:《程序设计思想与方法》课程教学资源_参考教材_参考教材-python-programming
文档格式:PDF 文档大小:1.2MB 文档页数:261
上海交通大学:《程序设计思想与方法》课程教学资源_参考教材_参考教材-2002版-PythonProgrammingBook
文档格式:PDF 文档大小:1.89MB 文档页数:62
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)实时嵌入式软件设计(控制系统,DARTS,EA,语言)
文档格式:PDF 文档大小:1.21MB 文档页数:44
• 形式化设计方法和过程 • 系统描述方法:基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑:LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性?
文档格式:PDF 文档大小:2.76MB 文档页数:70
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式系统形式化规范与建模(FSM,KPN,SDF)
文档格式:PDF 文档大小:4.85MB 文档页数:125
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式操作系统(uC、OSII)
文档格式:PDF 文档大小:1.07MB 文档页数:37
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)实时调度(多处理器、调度异常、WCET)
文档格式:PDF 文档大小:999.93KB 文档页数:280
上海交通大学:《程序设计思想与方法》课程教学资源_参考教材_HowToThink-Python
文档格式:PDF 文档大小:3.22MB 文档页数:80
• Complexity Challenge – CBD:分治,结构 – MBD:抽象,方法 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY • Domain Specific Modeling Languages – Specification languages – UML – MARTE – AADL
首页上页8283848586878889下页末页
热门关键字
搜索一下,找到相关课件或文库资源 901 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有