Shinya Honda, Hiroaki Takada. Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device. In 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany. pages 20138-20143, IEEE Computer Society, 2003. [doi]
Abstract is missing.