基于项重写的形式化排序方法及应用
Saved in:
Main Authors: | 陈晨, 陈卫红, 闫振天, 祝跃飞 |
---|---|
Format: | Article |
Language: | zho |
Published: |
Editorial Department of Journal on Communications
2011-01-01
|
Series: | Tongxin xuebao |
Online Access: | http://www.joconline.com.cn/zh/article/74417975/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
用排序网实现ATM信元淘汰
by: 陈常嘉, et al.
Published: (1996-01-01) -
结合重正化操作的快速二值分组算术编码器
by: 杨胜天
Published: (2004-01-01) -
考虑内力重分布影响的高层结构减震构件单步优化法
by: 陈荣, et al.
Published: (2022-08-01) -
通信顺序进程的扩充及其在协议形式化技术中的应用
by: 顾翔, et al.
Published: (2004-01-01) -
网络支付协议的形式化安全需求及验证逻辑
by: 刘怡文, et al.
Published: (2004-01-01)