机译:可证明ABC微积分的正确实施
IMT School for Advanced Studies Lucca Italy CINI - Cyber Security Laboratory Rome Italy;
IMT School for Advanced Studies Lucca Italy;
University of Camerino Italy;
Process calculi; Formal methods; Distributed computing; Erlang; Correctness proofs;
机译:可证明正确的Spi Calculus安全协议规范的Java实现
机译:将λ微积分正确转换为C ++数学模型
机译:HopLiteBuf:基于网络微积分的FPGA NOC设计,可透明的无摊FFOS
机译:多边形点算法的证明正确的浮点实现
机译:在神经ICU中实施ABCDEF Deli妄预防协议以正确评估和预防Deli妄
机译:实施心理健康促进倡议 - 丹麦心理健康ABC的过程评估
机译:可证明正确的Spi Calculus安全协议规范的Java实现