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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。