Author: Mahmood Sajjad Lai Richard
Publisher: Oxford University Press
ISSN: 1460-2067
Source: Computer Journal, Vol.56, Iss.7, 2013-07, pp. : 901-922
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. :