A new ATL analysis method based on game logic was inducted, and it can model and analyze Multi-electronic commerce protocol.
引入一种新的基于博弈逻辑的AT L分析方法，能够对日益复杂的多方电子商务协议进行建模与分析。
A new ATL analysis method based on game logic was inducted, and it can model and analyze Multi-electronic commerce protocol.
引入一种新的基于博弈逻辑的AT L分析方法，能够对日益复杂的多方电子商务协议进行建模与分析。
应用推荐