FOCUSING REAL-TIME SYSTEMS-ANALYSIS ON USER OPERATIONS

被引：3

作者：

DEUTSCH, MS

机构：

[1] Hughes Aircraft, Los Angeles, CA,, USA

来源：

关键词：

D O I：

10.1109/52.7942

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：39 / 50

页数：12

共 9 条

[1]

ALFORD M, 1985, COMPUTER MAGAZIN APR, P36

[2]

CAREY R, 1977, P COMPUTER SOFTWARE, P327

[3]

DANNENBERG RB, 1986, P HAWAII INT C SYSTE, P216

[4]

DANNENBERG RB, 1986, TRANSLATING VERY HIG

[5]

DEUTSCH MS, 1982, SOFTWARE VERIFICATIO, P51

[6]

ENOS JC, 1979, SOFTWARE ENG, P64

[7]

RAZOUK RR, 1987, 8625 U CAL INF COMP

[8]

WARD PT, 1985, STRUCTURED DEV REAL, V1

ZAVE, P .