Koninklijke Bibliotheek, National Library of the NetherlandsIP1343437582492.1
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
]]>
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
]]>Analysis and Verification of Dynamic Stock Trading SystemsYuyue DuHong ZhengShuxia YutextarticlemonographicKBMDO NBN number 1302251780352Information technology journalcontinuing18125646000000014003973textBorn digital tijdschriftenKB collectiekaveltextElektronische Wetenschappelijke TijdschriftenEWTIJurn:nbn:nl-kb:edepot:ewtij:1302251780352EWTIJ:00014:3752ab55275cf9ff24bddd761f773aa1Automatisch gegenereerd op basis van KBMDO record (EDEPOT-set) bij de migratie van DIAS content naar nieuw digitaal magazijn.local13434375824990MD5a671ffc4949525f7d9f1c01eaf0a15dajdk 1.6.0_26 - 64 bit - default security provider1572not checked3752ab55275cf9ff24bddd761f773aa1-orig.xmllocal13434375825080MD575d78d65ad07a711b0b1ba562ccaa65ajdk 1.6.0_26 - 64 bit - default security provider1716not checkedmetadata.xmllocal13434375825180MD5e48607cdc47d861340a53a99a12ea64cjdk 1.6.0_26 - 64 bit - default security provider509383Adobe Acrobat Document1.3DIAS2DIAS tentative identification3752ab55275cf9ff24bddd761f773aa1.pdflocal1302251780352collectiebehoudsniveau 12012-07-28T03:07:06.101+02:00KB-owner-id00014KB-agent-id11DOAJorganizationAsian Network for Scientific Information (provided by DOAJ)free00014KB-agent-id11supplier1302251780352A2686044786CRC32WORMCOLL08-04-2011O3btchbldrDepot1302251780352522240Batchdoaj_18125638-3752ab55275cf9ff24bddd761f773aa1-110407 GenericLoader103752ab55275cf9ff24bddd761f773aa1.pdfAsian Network for Scientific Information (provided by DOAJ)2pdfAdobe Acrobat DocumentActive1.3application/pdf1302251780352free00014ingestion2012-07-28T03:07:06.242+02:00WenSsoftwareDIASJournalArticlestreamprofile