為您找到約33篇文章，耗時0.0173秒，數(shù)據(jù)庫總量為385,852,517篇。
-
11. 基于CPN的IS-IS協(xié)議的驗證
-
-
12. 基于CPN的鐵路貨運站貨運作業(yè)流程優(yōu)化
-
-
13. 基于CPN的BPEL活動協(xié)同授權一致性檢測機制研究
-
-
14. 針對并行待測行為測試的CPN模型化簡方法
-
-
15. Minix3訪問控制的系統(tǒng)調用的CPN建模與測試
-
-
16. 基于CPN 的on-the-fly測試方法研究
-
-
17. 一種CPN中基于DHCP擴展的IPSec安全關聯(lián)參數(shù)管理機制
-
-
18. 可共享多通道Cache設計及存儲體系的CPN建模與驗證
-
-
19. 基于CPN的交叉口信號控制避碰策略建模與分析
-
-
20. 基于CPN模型的REST服務架構標準特征約束驗證方法研究
-
