-
模型丛
- 引用4篇文章[sw23944]
- 系统执行的运行时验证顺从与模型。ModelPlex确保。。。监视世界的行为顺从与模型。如果,在某个时候。。。
-
索托尔
- 引用5篇文章[sw10131]
- 原子性违反和非法指令排序。验证TSO时顺从完全是一个NP完全问题,我们描述。。。
-
复数
- 引用2篇文章【sw13787】
- 复数:检查协议顺从在别名下。强制执行顺从众所周知,API使用协议很难。。。完善的、模块化的协议检查方法顺从基于提供大量。。。
-
遵守
- 引用2篇文章【sw37351】
- 顺从-生存数据的调整干预效果。生存数据最常被分析。。。意向治疗原则。但是顺从-调整分析与主要分析。。。当顺从是以全有或全无的尺度来衡量的。这个。。。
-
快速程序
- 引用2篇文章【sw25957】
- 需要满足相关要求顺从效率和客户服务。进程挖掘有助于。。。分析偏差和非-顺从通过揭示人们的实际行为。。。
-
顺从
- 1条引用[sw28554]
- 为FEniCS编写的教育法规是为了顺从结构优化中的最小化,在二维。。。简单的实现。代码是为顺从线性弹性力学框架下的最小化。。。
-
BeJC公司
- 1条引用[sw22150]
- BeJC:检查顺从在java实现和行为规范之间。软件正确性的一个重要方面。。。本文提出了一种验证方法顺从在软件组件的行为规范之间。。。使用实现顺从检测算法及其应用。。。