Papers by Shin, Seiichi:

Authors:	Sawada, Kenji and Sakura, Mamoru and Kaneko, Osamu and Shin, Seiichi and Matsuda, Isao and Murakami, Toru
Title:	Energy balance based Verification for Model Based Development
Paper:	abstract  full paper