The use of contract specifications for representing requirements and for functional testing of hardware models

Author: Ivannikov V.   Kamkin A.   Kossatchev A.   Kuliamin V.   Petrenko A.  

Publisher: MAIK Nauka/Interperiodica

ISSN: 0361-7688

Source: Programming and Computer Software, Vol.33, Iss.5, 2007-09, pp. : 272-282

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