Subject: Computer Science, Artificial Intelligence; Computer Science, Cybernetics; Computer Science, Interdisciplinary Applications
Title: a petri-net-based correctness analysis of internet stock trading systems
Author: Du YuYue
; Jiang ChangJun
; Zhou MengChu
Keyword: correctness
; formal verification
; Petri nets (PNs)
; stock trading systems
; temporal logic
Source: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
Issued Date: 2008
Volume: 38, Issue: 1, Pages: 93-99 Indexed Type: sci
Department: 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
Language: 英语
WOS ID: WOS:000251840500010
Citation statistics:
Content Type: 期刊论文
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.