Kawakubo Kazuo | Faculty Of Engineering Fukuyama University
スポンサーリンク
概要
関連著者
-
KAWAKUBO Kazuo
Faculty of Engineering, Fukuyama University
-
Hiraishi Hiromi
Faculty Of Engineering Kyoto Sangyo University
-
Kawakubo Kazuo
Faculty Of Engineering Fukuyama University
-
Kawakubo K
Faculty Of Engineering Fukuyama University
-
Tanaka K
Faculty Of Engineering Fukuyama University:com System Co. Ltd.
-
TANAKA Koji
Faculty of Engineering, Fukuyama University
-
HIRAISHI Hiromi
Faculty of Engineering, Kyoto Sangyo University
著作論文
- Formal Verification of Totally Self-Checking Properties of Combinational Circuits
- An Application of Regular Temporal Logic to Verification of Fail-Safeness of a Comparator for Redundant System (Special Issue on VLSI Testing and Testable Design)