dblp.uni-trier.dewww.uni-trier.de

Satoshi Hiratsuka

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
3EESatoshi Hiratsuka, Hsin-Hung Lu, Akira Fusaoka: Model-Based Monitoring and Diagnosis Chip for Embedded Systems. AIMSA 2006: 255-264
2002
2EESatoshi Hiratsuka, Akira Fusaoka: On a Model-Based Design Verificationfor Combinatorial Boolean Networks. IEA/AIE 2002: 758-767
2000
1EESatoshi Hiratsuka, Akira Fusaoka: On a Model-Based Diagnosis for Synchronous Boolean Netowrk. IEA/AIE 2000: 198-203

Coauthor Index

1Akira Fusaoka [1] [2] [3]
2Hsin-Hung Lu [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)