3752ab55275cf9ff24bddd761f773aa1
Asian Network for Scientific Information
Information Technology Journal
18125638
18125646
2008-01-01
7
3
466
473
eng
Analysis and Verification of Dynamic Stock Trading Systems
Yuyue Du
Hong Zheng
Shuxia Yu
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 liveness, fairness, safeness and temporal properties. Finally, conclusions are found.
http://docsdrive.com/pdfs/ansinet/itj/2008/466-473.pdf
Artificial mouth model
NAM model
oral biofilm
Strep.mutans
20110404-34.zip3752ab55275cf9ff24bddd761f773aa1.pdfPDF1.3