CORC

浏览/检索结果: 共2条,第1-2条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 卷号: 45, 期号: 1, 页码: 84-96
作者:  Liu, Cong;  Zeng, Qingtian;  Duan, Hua;  Zhou, MengChu
收藏  |  浏览/下载:14/0  |  提交时间:2019/12/17
The New Method of Liveness Verification with Object-Oriented Timed Petri Nets 会议论文
2015 SEVENTH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATIONAL INTELLIGENCE (ICACI), 2015-01-01
作者:  Zhang, Xinju;  Yao, Shuzhen
收藏  |  浏览/下载:3/0  |  提交时间:2020/01/06


©版权所有 ©2017 CSpace - Powered by CSpace