REAL-TIME EUCLID - A LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS

被引：83

作者：

KLIGERMAN, E

STOYENKO, AD

机构：

来源：

关键词：

D O I：

10.1109/TSE.1986.6313049

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：941 / 949

页数：9

共 20 条

[1]

BERRY D, 1983, DEC P REAL TIM SYST, P30

[2]

CORDY JR, 1981, CSRG133 U TOR COMP S

[3]

FAULK SR, 1983, DEC P REAL TIM SYST, P101

[4] REAL-TIME - THE LOST WORLD OF SOFTWARE DEBUGGING AND TESTING [J].

GLASS, RL .

[5]

GLIGOR VD, 1983, DEC IEEE REL TIM SYS, P3

[6]

Hansen P. B., 1975, IEEE Transactions on Software Engineering, VSE-1, P199, DOI 10.1109/TSE.1975.6312840

[7]

HANSEN PB, 1980, EDISON MULTIPROCESSO

[8]

HECHT H, 1976, ACM COMPUT SURV, V8, P391

[9] MONITORS - OPERATING SYSTEM STRUCTURING CONCEPT [J].

HOARE, CAR .

[10]

HOLT RC, 1983, CONCURRENT EUCLID UN, pCH2