Satoshi Hiratsuka

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

Coauthor Index

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