1997年 Formal Verification of Totally Self-Checking Properties of Combinational Circuits IEICE Trans. Information and Systems 巻 E80D/1,57-62 号 エクスポート BibTeX RIS