Author： Verger A. Pervanyuk A.
Publisher： MAIK Nauka/Interperiodica
ISSN： 0005-1179
Source： Automation and Remote Control, Vol.74, Iss.10, 2013-10, pp. : 1761-1770
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
Verification and validation of simulation models
By Sargent R G
Journal of Simulation, Vol. 7, Iss. 1, 2013-02 ,pp. :
Access to resources
Recommend
Design and Verification of Logical Models
Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. :
Verification of integrated IDEF models
By Kacprzak Marek Kaczmarczyk Andrzej
Journal of Intelligent Manufacturing, Vol. 17, Iss. 5, 2006-10 ,pp. :
Bytecode Verification by Model Checking
By Basin David Friedrich Stefan Gawkowski Marek
Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. :