机译:并发系统的规范,细化和验证-Object-Z和CSP的集成
机译:csp2B:结合CSP和B的实用方法
机译:光伏(PV),集中太阳能电力(CSP),风力涡轮机,天然气组合循环(NGCC)和集成太阳能组合循环(ISCC)发电厂的设计,热力学性能比较和成本分析
机译:结合Object-Z和CSP
机译:可交换载脂蛋白共有序列CSP-BABA和CSP-ABBA的结构,稳定性和脂质结合。
机译:通过正式的Ni催化的烷基硼构建拥挤的CSP3-CSP3键
机译:结合CSP和Object-Z:有限还是无限的轨迹语义?
机译:理想化的Csp:将程序与通信过程相结合