Publisher： Trans Tech Publications
E-ISSN： 1662-7482|2016|850|30-37
ISSN： 1660-9336
Source： Applied Mechanics and Materials, Vol.2016, Iss.850, 2016-09, pp. : 30-37
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
Experimental Verification of a Computing Model
Applied Mechanics and Materials, Vol. 2015, Iss. 732, 2015-04 ,pp. :
Access to resources
Recommend
Digital Hardware Design Formal Verification Based on HOL System
Applied Mechanics and Materials, Vol. 2014, Iss. 716, 2015-02 ,pp. :
Verification and Validation for Model-Based Design
Applied Mechanics and Materials, Vol. 2015, Iss. 741, 2015-04 ,pp. :