CHECKING OF COMPUTER LOGIC BY SIMULATION ON A COMPUTER

被引:5
作者
LEHMAN, M
NETTER, Z
ESHED, R
机构
关键词
D O I
10.1093/comjnl/6.2.154
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:154 / &
相关论文
共 4 条
[1]  
LEHMAN M, 1961, 134 SCI DEP ISR MIN
[2]  
LEHMAN M, 1962, IRE T ELECTRONIC COM, VEC10, P247
[3]  
LEHMAN M, 1960, INFORMATION PROCESSI, P365
[4]  
STOCKWELL GN, 1962, IRE T PGME JUL, P275