Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China;
CSP; Cloud Computing; MapReduce;
机译:使用CSP对TESAC进行形式化和验证
机译:使用CSP的OpenFlow捆绑机制的形式化和验证
机译:使用CSP在HTTP上进行REST的形式化和验证
机译:使用CSP正式化MapReduce
机译:可交换载脂蛋白共有序列CSP-BABA和CSP-ABBA的结构,稳定性和脂质结合。
机译:通过正式的Ni催化的烷基硼构建拥挤的CSP3-CSP3键
机译:使用CSP的正式化和验证OpenFlow Bundle机制
机译:表达Csp和ama1的腺病毒-5-载体恶性疟原虫疫苗。 B部分:Csp组分的安全性,免疫原性和保护功效