[1] |
XIE Na, TAN Wenan, CAO Yan, ZHAO Lu.
Modeling and Analysis of Security Information Flow in Mobile Edge Computing
[J]. Computer Engineering, 2022, 48(5): 35-42,52.
|
[2] |
LIU Yang, GAO Shiguo.
Research on Privacy Protection in Social Network Based on Stochastic Model Checking
[J]. Computer Engineering, 2021, 47(5): 144-153.
|
[3] |
HU Lili, XU Yan, TAO Huiqing.
Reliability Analysis of LTE-R Communication System Based on Dynamic Fault Tree
[J]. Computer Engineering, 2020, 46(9): 205-212.
|
[4] |
LIN Rongfeng, SHI Jian, ZHU Yanqing, SHEN Yiwei, ZHOU Yu.
Formal Verification Framework of SCADE Model Based on STP Method
[J]. Computer Engineering, 2019, 45(10): 70-77.
|
[5] |
REN Shengbing,ZHANG Jianwei,WU Bin,WANG Zhijian.
SMT-based Distributed Bounded Model Checking in Spark
[J]. Computer Engineering, 2017, 43(6): 19-23,29.
|
[6] |
YANG Shihan,WU Jinzhao,DING Guanghong,QIN Donghong.
Formal Verification of Analog and Mixed Signal Circuit
[J]. Computer Engineering, 2016, 42(8): 34-38,45.
|
[7] |
TANG Zhengyi,WANG Jinshui,HE Dongwei,XUE Xingsi,HU Wenyu.
Formal Modeling and Verification of Feeder Automation Algorithm
[J]. Computer Engineering, 2016, 42(3): 89-93.
|
[8] |
ZHAO Lu,ZHANG Jianpei,YANG Jing.
Stateful Dynamic Partial-order Reduction Method of Shrinking Candidate Backtrack Set
[J]. Computer Engineering, 2015, 41(5): 70-76.
|
[9] |
XU Xingwang,LUO Xiangyu.
Verification of Web Services Based on MAS Model Checking and Abstraction
[J]. Computer Engineering, 2015, 41(3): 26-31,36.
|
[10] |
LAO Jiaqi,WEN Zhonghua,WU Xiaohui,TANG Jie.
A Fast Algorithm for Solving Strong Planning Solution
[J]. Computer Engineering, 2015, 41(3): 162-166.
|
[11] |
ZHOU Bin,HUANG Yuanliang,HUANG Wei.
Fault Tree Analysis Method Based on Modular Decomposition
[J]. Computer Engineering, 2015, 41(2): 141-144.
|
[12] |
XIAO Yufeng,ZHANG Hua.
Reliability Computation of Network with Unreliable Nodes Based on Binary Decision Diagram
[J]. Computer Engineering, 2015, 41(1): 87-91.
|
[13] |
WU Xiaohui,WEN Zhonghua,LI Yang,LAO Jiaqi.
Multi-Agent Strong Planning Algorithmwith Weight in Nondeterministic Planning
[J]. Computer Engineering, 2015, 41(1): 190-195.
|
[14] |
LONG Feng,WEN Zhonghua,TANG Jie,WANG Jinzong.
Fast Solving Algorithm of Reachability Relation in Uncertain Planning
[J]. Computer Engineering, 2015, 41(1): 196-199.
|
[15] |
ZENG Lingguo,PAN Zhusheng,MO Yuchang.
Research on Binary Decision Diagram Construction in Top-down for Network Reliability Analysis
[J]. Computer Engineering, 2015, 41(1): 309-315.
|