SMART: Stochastic model-checking analyzer for reliability and timing

被引：1

作者：

Ciardo, G ^{[1
]}

Jones, RL ^{[1
]}

Marmorstein, RM ^{[1
]}

Miner, AS ^{[1
]}

Siminiceanu, R ^{[1
]}

机构：

[1] Coll William & Mary, Dept Comp Sci, Williamsburg, VA 23185 USA

来源：

INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS | 2002年

关键词：

D O I：

10.1109/DSN.2002.1028976

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：545 / 545

页数：1