Principle of Model Checking

liaoding923 79 0 PDF 2019-01-02 06:01:17

这个版本我自己增加了了各个章节的书签，方便阅读的时候查找和对书有一个大概的了解

推荐下载

MTK_NBIOT_Modem_Log_Checking_SOP 文档密码:8637296728

通过在XML和Java端直接实现一些代码行,您可以轻松地实现许多功能。

imx6hwdesigncheckinglist官网上找的,大家可以去管网上找

Collaborative Outsourced Data Integrity Checking in Multi-Cloud Environment

Automated Mining and Checking of Formal Properties in Natural Language Requirements

principle and practice using c++

螺旋轨道的相对论天体动力学、局部性等效原理及银河系的暗物质问题,李志平,李然,本论文主要研究了星系外缘天体螺旋轨道成因,提出新的相对论天体动力学原理并与观测结果相比较。研究结果表明,处于银河系外缘的天

随机控制的极大值原理及其应用,赵中奇,,提出了解决含有随机微分方程的动态最优化问题的极大值原理。它是求解动态规划问题的另一种方法。是庞特里亚金极大值原理解决经济

Modified Equivalence Principle Algorithm for the Analysis of Connected Structures

反式tiliroside 是委陵菜抗高血糖、高血脂和抗氧化的活性成分,乔卫,赵川,目的:分离并确定反式tiliroside为委陵菜中具有抗高血糖、高血脂和抗氧化作用的活性成分。方法: 从委陵菜乙醇提取

用户评论

请输入评论内容

评分：

卡了网匿名网友 2019-01-02 06:01:19

很细致，学习模型检测形式化方法很有帮助

卡了网匿名网友 2019-01-02 06:01:19

理论的东西，还是要好好学学！

卡了网匿名网友 2019-01-02 06:01:19

应该算ModelChecking的第二部经典书籍了，与上一部隔了8年多

卡了网匿名网友 2019-01-02 06:01:19

书籍很好，就是内容有点多，仔细研究还是很好的，有很多详细的例子