SPECIFICATION AND VERIFICATION TECHNOLOGIES FOR COMMUNICATION SOFTWARE

被引：1
|
作者：
KAJIWARA, M
ITOH, M
ICHIKAWA, H
机构：
[1] MUSASHINO ELECT COMMUN LAB, MUSASHINO, TOKYO 180, JAPAN
[2] NIPPON TELEGRAPH & TEL PUBL CORP, MUSASHINO ELECT COMMUN LAB, MUSASHINO, TOKYO 180, JAPAN
来源：
IEEE COMMUNICATIONS MAGAZINE | 1985年 / 23卷 / 08期
关键词：
D O I：
10.1109/MCOM.1985.1092633
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
23
引用
收藏
页码：15 / 25
页数：11
相关论文
共 50 条
12345