机译:验证线性度:比较调查
Brunel Univ Dept Comp Sci London England;
Univ Sheffield Dept Comp Sci Sheffield S10 2TN S Yorkshire England;
Algorithms; Theory; Verification; Linearisability; concurrent objects; refinement; compositional proofs; shape analysis; reduction; abstraction; interval-based methods; mechanisation;
机译:嵌入式系统的动态和形式验证:比较调查
机译:Des Bright Arcs调查:来自黑暗能量调查科学验证和1年的彩色镜头银河系中的数百名候选镜头的银河系。
机译:早期和早期更年期的趋势:美国国家卫生和营养考试调查和韩国国家卫生和营养考试调查的比较研究
机译:用潜在的线性化点验证线性化
机译:2014巴西空军人体测量学调查以及人体测量学设计要求和验证方法的比较:人体工学驾驶舱设计解决方案的开始。
机译:金属固定接头界面等效方法的实验验证和比较分析
机译:验证线性可行性
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷