|
| << 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 7 van 42 gevonden artikelen
| 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 7 van 42 gevonden artikelen
| << vorige | volgende >> |