Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device

Shinya Honda, Hiroaki Takada. Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device. In Ahmed Amine Jerraya, Sungjoo Yoo, Diederik Verkest, Norbert Wehn, editors, Embedded Software for SoC. pages 137-150, Kluwer / Springer, 2003. [doi]

Abstract

Abstract is missing.