The Pattern Based Visual Property Specification Language and Supporting System for Software Verifications

Publisher: Trans Tech Publications

E-ISSN: 1662-7482|2015|752|1090-1096

ISSN: 1660-9336

Source: Applied Mechanics and Materials, Vol.2015, Iss.752, 2015-05, pp. : 1090-1096

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