program verification; concurrency; java; CSP; JCSP;
机译:使用扇区编程方案的低压闪存的编程和程序验证方法
机译:基于现场可编程门阵列的巨型磁致伸缩执行器可编程电流源的方案设计与实验验证
机译:使用约束编程和抽象解释技术验证浮点程序
机译:验证JCSP程序
机译:一个(CO)编程和验证计算机网络的代数方法
机译:基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
机译:Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (计算机构の数学的研究)
机译:联合网络安全服务计划(JCsp),国防工业基地(DIB) - 增强型网络安全服务(DECs)的隐私影响评估更新。