Author: Brinkman W. -P.
Publisher: Taylor & Francis Ltd
ISSN: 1362-3001
Source: Behaviour and Information Technology, Vol.28, Iss.2, 2009-03, pp. : 121-137
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. :