analysis and verification of dynamic stock trading systems

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	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.