PROTOCOL VERIFICATION ALGORITHM USING REDUCED REACHABILITY ANALYSIS.

被引：0

作者：

Itoh, Masaki

Ichikawa, Haruhisa

机构：

来源：

Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E | 1983年 / E66卷 / 02期

关键词：

PROTOCOL VERIFICATION ALGORITHM - REDUCED IMPLEMENTATION SEQUENCE (RIS) - REDUCED REACHABILITY ANALYSIS - STATE TRANSITION MODEL;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：88 / 93