1993年
An Application of Regular Temporal Logic to Verification of Fail-Safeness of a Comparator for Redundant System
- 出版者・発行元
- IEICE Trans. on Information and Systems
平石 裕実
ヒライシ ヒロミ (HIRAISHI HIROMI)
更新日: 2022/09/13