Logo

[Proceedings] [Program] [Sessions] [Authors] [Schedule] [Further material]

Papers by Murakami, Toru:

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