云南高校图书馆联盟文献共享服务平台- 网上证券

网上证券: 作品数：385被引量：168H指数：4; 导出分析报告; 相关领域：经济管理自动化与计算机技术更多>>; 相关作者：姚文平徐亮陈舜王学忠帖俊峰更多>>; 相关机构：武汉大学上海财经大学南京大学北京大学更多>>; 相关期刊：更多>>; 相关基金：国家社会科学基金国家科技重大专项国家科技支撑计划内蒙古自治区高等学校科学研究项目更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

网上证券交易系统的时序Petri网描述及验证被引量：9: 《软件学报》2002年第8期1698-1704,共7页杜玉越蒋昌俊; ~~国家自然科学基金资助项目(69973029;69933020);国家重点基础研究规划973资助项目(G1998030604);中国科学院软件研究所计算机科学重点实验室资助项目(SYSKF0205); 基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简...; 关键词：网上证券交易系统时序PETRI网时序逻辑形式描述正确性验证电子商务股票市场