学科主题: Computer Science, Artificial Intelligence; Computer Science, Cybernetics; Computer Science, Interdisciplinary Applications
题名: a petri-net-based correctness analysis of internet stock trading systems
作者: Du YuYue
; Jiang ChangJun
; Zhou MengChu
关键词: correctness
; formal verification
; Petri nets (PNs)
; stock trading systems
; temporal logic
刊名: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
发表日期: 2008
卷: 38, 期: 1, 页: 93-99 收录类别: sci
部门归属: Du, YuYue Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266510, Peoples R China. Du, YuYue Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China. Jiang, ChangJun Tongji Univ, Dept Comp Sci & Engn, Shanghai
语种: 英语
WOS记录号: WOS:000251840500010
Citation statistics:
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/10415
Appears in Collections: 软件所图书馆_期刊论文
There are no files associated with this item.
Recommended Citation:
Du YuYue,Jiang ChangJun,Zhou MengChu. a petri-net-based correctness analysis of internet stock trading systems[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,2008-01-01,38(1):93-99.
