Institutional Repository
| a petri-net-based correctness analysis of internet stock trading systems | |
| Du YuYue; Jiang ChangJun; Zhou MengChu | |
| 2008 | |
| Source | IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
 |
| ISSN | 1094-6977 |
| Volume | 38Issue:1Pages:93-99 |
| Indexed Type | sci |
| Keyword | Correctness Formal Verification Petri Nets (Pns) Stock Trading Systems Temporal Logic |
| 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 |
| Subject | Computer Science, Artificial Intelligence ; Computer Science, Cybernetics ; Computer Science, Interdisciplinary Applications |
| Language | 英语 |
| WOS ID | WOS:000251840500010 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10415 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 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,38(1):93-99. |
| APA | Du YuYue,Jiang ChangJun,&Zhou MengChu.(2008).a petri-net-based correctness analysis of internet stock trading systems.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,38(1),93-99. |
| MLA | Du YuYue,et al."a petri-net-based correctness analysis of internet stock trading systems".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS 38.1(2008):93-99. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment