...
机译:从行为规范到重写规范的规范转换
School of Information Science, Japan Advanced Institute of Science and Technology, Nomi-shi, 923-1211 Japan;
specification translation; verification; algebraic specification; behavioral specification; rewirte specification; CafeOBJ; maude;
机译:从行为规范中分离策略规则的重写逻辑方法
机译:从行为规范中分离策略规则的重写逻辑方法
机译:从行为规范中分离策略规则的重写逻辑方法
机译:从行为规范到重写理论规范的转换器的模块化实现
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:非洲爪蟾视网膜神经节细胞中位置信息的规范:规范时间的眼内控制
机译:从行为规范重写规格的规范转换
机译:空间应用温度控制电加热系统的研究,设计,开发和试验第三卷:规格:单元设计规范加热器箔采购规范测试:测试程序测试报告