文件名称：Formal verification or certification related
文件大小：506KB
文件格式：PDF
更新时间：2013-11-03 05:49:33
formal verification certification
Symbolic bisimulation of the applied pi-calculus; formal methodes for mobile systems communiciation. Symbolic bisimulation of the applied pi-calculus; formal methodes for mobile systems communiciation. Symbolic bisimulation of the applied pi-calculus; formal methodes for mobile systems communiciation.