Towards the Automation of Model‐Based Design Verification

Publisher: John Wiley & Sons Inc

E-ISSN: 2334-5837|26|1|585-599

ISSN: 2334-5837

Source: INCOSE International Symposium, Vol.26, Iss.1, 2016-07, pp. : 585-599

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract