USING EMULATION TO VERIFY FORMAL ARCHITECTURE DESCRIPTIONS

被引：1

作者：

BARBACCI, MR ^{[1
]}

PARKER, A ^{[1
]}

机构：

[1] USN,RES LAB,DIV COMMUN SCI,INFORMAT SYST STAFF,WASHINGTON,DC 20375

来源：

关键词：

D O I：

10.1109/C-M.1978.218183

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：51 / 56

页数：6

共 14 条

[1]

BARBACCI MR, 1976, AUG COMP SCI DEP TEC

[2]

BARBACCI MR, 1977, AUG CARN MELL U COMP

[3]

BARBACCI MR, 1975, IEEE TC, V24

[4]

BELL CG, 1971, COMPUTER STRUCTURES

[5]

CARTER WC, 1974, JUN DIG INT S FAULT

[6]

CATTELL RG, 1977, THESIS CARNEGIE MELL

[7]

OAKLEY J, 1976, THESIS CARNEGIE MELL

[8]

PARKER A, 1977, 5403232 NAV RES LAB

WALD, B ;

SALISBURY, A .

[10]

WICK JD, 1975, THESIS YALE U