退出
我的积分:
中文文献批量获取
外文文献批量获取
杜玉越; 蒋昌俊;
同济大学;
计算机科学与工程系;
上海;
200092;
聊城师范学院;
计算机科学系;
山东;
聊城;
252059;
中国科学院;
软件研究所;
计算机科学重点实验室;
北京;
100080;
模型检查; 证券交易系统; 时序逻辑; Petri网; 形式描述; 正确性验证; 电子商务;
机译:网上证券交易系统的性能验证
机译:基于时间Petri网的UML2时序图的形式验证
机译:骨内压力描记器在时序和轮廓中模拟动脉压力描曲线
机译:嵌入式系统线性时序逻辑的规范描述及Petri网的实现方法
机译:具有离散和连续时序的随机Petri网的仿真和数值解。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于分层彩色硬件petri网建模的时序电路功率估计
机译:具有离散连续时序的相位型随机petri网分析
机译:时序图验证工具,时序图验证工具和时序图验证工具
机译:时序验证方法,时序验证装置和时序验证程序
机译:半导体集成电路的时序验证装置,时序验证方法和时序验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。