analysis and verification of dynamic stock trading systems | |
Du Yuyue ; Zheng Hong ; Yu Shuxia | |
刊名 | Information Technology Journal
![]() |
2008 | |
卷号 | 7期号:3页码:466-473 |
关键词 | Graph theory Petri nets |
ISSN号 | 18125638 |
收录类别 | EI |
语种 | 英语 |
公开日期 | 2011-06-10 |
附注 | A dynamic stock trading system with a distributed shared memory is analyzed formally based on its temporal Petri net model. The functional correctness of the system is formally verified and some important properties of the system are investigated, such as |
内容类型 | 期刊论文 |
源URL | [http://124.16.136.157/handle/311060/10337] ![]() |
专题 | 软件研究所_软件所图书馆_期刊论文 |
推荐引用方式 GB/T 7714 | Du Yuyue,Zheng Hong,Yu Shuxia. analysis and verification of dynamic stock trading systems[J]. Information Technology Journal,2008,7(3):466-473. |
APA | Du Yuyue,Zheng Hong,&Yu Shuxia.(2008).analysis and verification of dynamic stock trading systems.Information Technology Journal,7(3),466-473. |
MLA | Du Yuyue,et al."analysis and verification of dynamic stock trading systems".Information Technology Journal 7.3(2008):466-473. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论