|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 7 of 42 found articles
| Title: |
Analysis and Verification of Dynamic Stock Trading Systems |
| Author: |
Yuyue Du Hong Zheng Shuxia Yu |
| Appeared in: |
Information technology journal |
| Paging: | Volume 7 (2008) nr. 3 pages 466-473 |
| Year: |
2008 |
| Contents: |
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. |
| Publisher: |
Asian Network for Scientific Information (provided by DOAJ) |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 7 of 42 found articles
| << previous | next >> |