Built-in Variant Generation; Unification; Applications;
机译:Maude 2.6中的变体,统一,缩小和符号可及性
机译:语言方程的定量变体及其应用程序在描述逻辑中扩展统一的逻辑
机译:了解用于发电应用的纳米结构热电n型Bi2Te_(2.7)Se)(0.3)腿的接触
机译:内置的变体生成和统一及其在Maude 2.7中的应用
机译:过渡故障和过渡路径延迟故障:测试生成,路径选择以及功能性侧面测试的内置生成。
机译:休斯顿卫方法变体查看器版本3的开发和验证:我们的应用程序解释下一代测序数据的更新
机译:maude 2.6中的变体,统一,缩小和符号可达性