机译:模型转换的规范和验证
机译:容错系统规范和验证的转换方法:正式背景和分类
机译:容错系统规范和验证的转换方法:正式背景和分类
机译:类似于C的内存模型的形式验证及其在验证程序转换中的用途
机译:具有转换合同的模型转换的规范,验证和实现
机译:在软件定义无线电的范围内,针对设计模型相对于其规格模型的符合性验证:一种模型转换方法。
机译:乳腺癌患者中核癌炎症和心理作用验证临床炎症和心理作用的心理社会基因组学试验研究:初步结果
机译:使用UML-RSDS进行模型转换的规范和验证