Author： Fischer Vincent Gerbaud Laurent
Publisher： Emerald Group Publishing Ltd
ISSN： 0332-1649
Source： COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol.24, Iss.3, 2005-09, pp. : 753-766
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. :
Access to resources
Recommend
