Hiraishi Hiromi | Faculty Of Engineering Kyoto Sangyo University
スポンサーリンク
概要
関連著者
-
Hiraishi Hiromi
Faculty Of Engineering Kyoto Sangyo University
-
KAWAKUBO Kazuo
Faculty of Engineering, Fukuyama University
-
HIRAISHI Hiromi
Faculty of Engineering, Kyoto Sangyo University
-
Kawakubo Kazuo
Faculty Of Engineering Fukuyama University
-
Clarke Edmund
School Of Computer Science Carnegie Mellon 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
-
Campos Sergio
School of Computer Science, Carnegie Mellon University
-
Marrero Wilfredo
School of Computer Science, Carnegie Mellon 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)
- Temporal Verification of Real-Time Systems
- Towards Verification of Bit-Slice Circuits : Time-Space Modal Model Checking Approach
- Symbolic Model Checking of Deadlock Free Property of Task Control Architecture(Special Issue on Test and Verification of VLSI)