Digital Library
Close Browse articles from a journal
 
<< 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 8 of 42 found articles
 
 
  Analysis and Verification of Dynamic Stock Trading Systems
 
 
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 8 of 42 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands