机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:使用流程规范语言的制造流程建模
机译:虚拟制造工程的时间流程规范语言
机译:专用语言的设计过程:一种用于水资源政策规范的语言。
机译:集成了逆向工程修复前处理增材制造和组件再制造材料测试的混合过程
机译:关于线性时间逻辑,属性规范模式和事件处理语言正式化的易于理解性
机译:ada语言系统语言处理器B-5规范(CR-Cp-0059-B80)