書籍等出版物

1992年

Formal Verification of Fail-Safeness of a Comparator for Redundant System Using Regular Temporal Logic


出版者・発行元
Proc. of the First Asian Test Symposium