PDF文档
Principles_of_Model_Checking_CBaier_Joos
几位图灵奖得主的巨作 基于对模型检测数十年的研究-Principles of Model Checking_C.Baier_Joost2008_original...
Model
探索moDEl技术的无限可能，这里汇集了675个精选资源，覆盖从基础理论到高级应用的全方位内容。作为电子设计自动化（EDA）的关键组成部分，moDEl在电路仿真、系统级建模及信号处理等领域发挥着不可替代的作用。无论是初学者还是资深工程师，都能在这里找到提升技能所需的学习资料与实用工具。加入我们，一起...
共 448 份资源
源代码 10,000
Model 热门资料
查看全部 448 份 →
PDF文档
This model shows NASA s HL-20 lifting body modeled in Simulink, and Aerospace Blockset. This model s
This model shows NASA s HL-20 lifting body modeled in Simulink, and Aerospace Blockset. This model simulates approach an...
PDF文档
Matlab实现： Erlang B model(M/M/n/n)与 Erlang C model排队系统的模拟
Matlab实现： Erlang B model(M/M/n/n)与 Erlang C model排队系统的模拟，并画出阻塞概率(P)与负载(A=lamda/miu in Erlang)的关系图。用法：运行RunMe...
PDF文档
analysis patterns usable object model a good book
analysis patterns usable object model a good book...