Author: Chen Xi Hsieh Harry Balarin Felice Watanabe Yosinori
Publisher: Springer Publishing Company
ISSN: 0929-5585
Source: Design Automation for Embedded Systems, Vol.8, Iss.2-3, 2003-06, pp. : 139-153
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Formal verification of component-based designs
Design Automation for Embedded Systems, Vol. 11, Iss. 1, 2007-03 ,pp. :