A FORMAL SPECIFICATION OF AN OSCILLOSCOPE

被引：5

作者：

DELISLE, N

GARLAN, D

机构：

[1] Computer Research Lab, Tektronix, Bemerton, OR97077

来源：

关键词：

D O I：

10.1109/52.57890

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

[No abstract available]

引用

页码：29 / 36

页数：8

相关论文

共 6 条

[1]

BARRETT G, 1987, PRG58 OXF U COMP LAB

[2]

Garlan D., 1990, VDM '90. VDM and Z - Formal Methods in Software Development. Third International Symposium of VDM Europe Proceedings, P150

[3]

HAYES I, 1985, PRG47 OXF U COMP LAB

[4]

HAYES I, 1990, 167 U QUEENSL COMP S

[5]

Jones C. B., 1986, SYSTEMATIC SOFTWARE

[6]

1988, LECTURE NOTES COMPUT, V328