Journal of Computer Applications ›› 2014, Vol. 34 ›› Issue (5): 1413-1417.DOI: 10.11772/j.issn.1001-9081.2014.05.1413
Previous Articles Next Articles
LIN Yunguo
Received:
2013-10-15
Revised:
2013-12-26
Online:
2014-05-01
Published:
2014-05-30
Contact:
LIN Yunguo
通讯作者:
林运国
作者简介:
CLC Number:
LIN Yunguo. Linear time properties of weighted transition system and checking of safety property[J]. Journal of Computer Applications, 2014, 34(5): 1413-1417.
林运国. 加权迁移系统线性时间属性及其安全性检测[J]. 计算机应用, 2014, 34(5): 1413-1417.
Add to citation manager EndNote|Ris|BibTeX
URL: http://www.joca.cn/EN/10.11772/j.issn.1001-9081.2014.05.1413
[1]BAIER C, KATOEN J P. Principles of model checking [M]. Cambridge: MIT Press, 2008:745-747. |
[1] | Jin ZHAO, Wen’ai SONG, Jun TAI, Jijiang YANG, Qing WANG, Xiaodan LI, Yi LEI, Yue QIU. Review of computer-aided face diagnosis for obstructive sleep apnea in children [J]. Journal of Computer Applications, 2021, 41(11): 3394-3401. |
[2] | . Centered kernel alignment based multiple kernel one-class support vector machine [J]. Journal of Computer Applications, 0, (): 0-0. |
[3] | . Solving dynamic traveling salesman problem based on distributional reinforcement learning [J]. Journal of Computer Applications, 0, (): 0-0. |
[4] | . Outlier detection algorithm based on autoencoder and ensemble learning [J]. Journal of Computer Applications, 0, (): 0-0. |
[5] | LI Zhuo, SONG Zihui, SHEN Xin, CHEN Xin. Local differential privacy protection mechanism for mobile crowd sensing with edge computing [J]. Journal of Computer Applications, 2021, 41(9): 2678-2686. |
[6] | WANG Zhoukai, ZHANG Jiong, MA Weigang, WANG Huaijun. Parallel decompression algorithm for high-speed train monitoring data [J]. Journal of Computer Applications, 2021, 41(9): 2586-2593. |
[7] | . Survey of high utility pattern mining methods based on positive and negative utility division [J]. Journal of Computer Applications, 0, (): 0-0. |
[8] | WU Peng, WU Jinzhao. Reasoning method based on linear error assertion [J]. Journal of Computer Applications, 2021, 41(8): 2199-2204. |
[9] | SUN Rui, HAN Meng, ZHANG Chunyan, SHEN Mingyao, DU Shiyu. Algorithm for mining top-k high utility itemsets with negative items [J]. Journal of Computer Applications, 2021, 41(8): 2386-2395. |
[10] | WANG Zisen, LIANG Ying, LIU Zhengjun, XIE Xiaojie, ZHANG Wei, SHI Hongzhou. Matching method for academic expertise of research project peer review experts [J]. Journal of Computer Applications, 2021, 41(8): 2418-2426. |
[11] | ZHAO Quan, TANG Xiaochun, ZHU Ziyu, MAO Anqi, LI Zhanhuai. Low-latency cluster scheduling framework for large-scale short-time tasks [J]. Journal of Computer Applications, 2021, 41(8): 2396-2405. |
[12] | KANG Jun, HUANG Shan, DUAN Zongtao, LI Yixiu. Review of spatio-temporal trajectory sequence pattern mining methods [J]. Journal of Computer Applications, 2021, 41(8): 2379-2385. |
[13] | CHEN Jing, MAO Yingchi, CHEN Hao, WANG Longbao, WANG Zicheng. Dam defect object detection method based on improved single shot multibox detector [J]. Journal of Computer Applications, 2021, 41(8): 2366-2372. |
[14] | MA Hua, CHEN Yuepeng, TANG Wensheng, LOU Xiaoping, HUANG Zhuoxuan. Survey of research progress on crowdsourcing task assignment for evaluation of workers’ ability [J]. Journal of Computer Applications, 2021, 41(8): 2232-2241. |
[15] | . Medical electronic record sharing scheme based on sharding-based blockchain [J]. , 0, (): 0-0. |
Viewed | ||||||
Full text |
|
|||||
Abstract |
|
|||||