Automated testing of telecommunication systems

被引：0

作者：

Alberts, MY ^{[1
]}

Kalnins, AA ^{[1
]}

Kalnina, DA ^{[1
]}

机构：

[1] Latvian State Univ, Inst Math & Informat Sci, LV-1459 Riga, Latvia

来源：

AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1997年 / 05期

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：29 / 39

页数：11

共 8 条

[1]

Algayres B., 1993, SDL '93. Using Objects. Proceedings of the Sixth SDL Forum, P221

[2]

AUZINSH A, 1991, LNCS, V502, P287

[3]

Barzdin J. M., 1989, SDL '89. The Language at Work. Proceedings of the Fourth SDL Forum, P127

[4]

Ek A., 1993, SDL '93. Using Objects. Proceedings of the Sixth SDL Forum, P237

[5]

EK A, 1991, SDL 91 : EVOLVING METHODS, P119

[6]

HOLZMANN GJ, 1991, DESIGN VALIDATOR COM

[7]

KALNIMNSH A, 1991, SDL 91 EVOLVING METH, P309

[8]

Zaim A., 1993, SDL '93. Using Objects. Proceedings of the Sixth SDL Forum, P41