Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 8 van 42 gevonden artikelen
 
 
  Analysis and Verification of Dynamic Stock Trading Systems
 
 
Titel: Analysis and Verification of Dynamic Stock Trading Systems
Auteur: Yuyue Du
Hong Zheng
Shuxia Yu
Verschenen in: Information technology journal
Paginering: Jaargang 7 (2008) nr. 3 pagina's 466-473
Jaar: 2008
Inhoud: 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.
Uitgever: Asian Network for Scientific Information (provided by DOAJ)
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 8 van 42 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland