中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共3条，第1-3条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：232/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：193/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
Role-based collaboration and its kernel mechanisms 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2006, 卷号: 36, 期号: 4, 页码: 578-589
作者:  Zhu, Haibin;  Zhou, MengChu
收藏  |  浏览/下载：100/0  |  提交时间：2015/11/08
Collaboration  Computer-supported Cooperative Work (Cscw)  Role