您当前的位置：
首页 >
文章列表页 >
性能评价形式化方法的现状和发展
性能评价形式化方法的现状和发展
Status and Development of Formal Methods for Performance Evaluation
- 电子学报 2002年30卷第S1期 页码：1917-1922
移动端阅览
HTML全文
参考文献
出版信息
数据统计
73
浏览量
2371
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
异构Web服务器集群的自适应成比例 延时差异服务模型
一种互操作协议性能评估方法
面向多类型二值分割任务的混合专家自适应统一框架
基于DD域LFM脉冲信号嵌入的OTFS通感一体化波形设计
基于全局初检与局部列表精检的OTFS两阶段检测方法
相关作者
杨 群
谭 建
许满武
张弩云
李军国
黄罡
梅宏
叶萌
相关机构
南京大学软件新技术国家重点实验室,南京大学计算机科学与技术系
南京航空航天大学信息科学与技术学院
南京大学软件新技术国家重点实验室南京大学计算机科学与技术系
南京航空航天大学信息科学与技术学院江苏南京
北京大学信息科学技术学院软件研究所
