CONFORMANCE TESTING - ARCHITECTURES AND TEST SEQUENCES

被引：19

作者：

SARIKAYA, B ^{[1
]}

机构：

[1] CONCORDIA UNIV,DEPT ELECT & COMP ENGN,MONTREAL H3G 1M8,QUEBEC,CANADA

来源：

COMPUTER NETWORKS AND ISDN SYSTEMS | 1989年 / 17卷 / 02期

关键词：

D O I：

10.1016/0169-7552(89)90004-4

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：111 / 126

页数：16

相关论文

共 65 条

[21]

ISO E, 1988, FORMAL DESCRIPTION T

[22]

JARD C, 1987, DERIVING TRACE CHECK

[23]

KATO T, 1986, 86 ICCC MUN, P519

[24]

Kohavi Z., 1978, SWITCHING FINITE AUT

[25]

LINN RJ, 1987, REVISED DRAFT TUTORI

[26]

LINN RJ, 1985, 4TH P IFIP WORKSH PR, P611

[27]

MATTHEWS RS, 1988, IEE T SOFTWARE ENG

[28]

MILNER R, 1980, LECTURE NOTES COMPUT

[29]

MURALIDHAR KH, 1987, 7TH P IFIP PROT S ZU

[30]

PIATKOWSKI TF, 1980, P TRENDS APPLICATION