On the validation and verification of production systems: a graph reduction approach

ISSN： 1071-5819

Source： International Journal of Human-Computer Studies, Vol.44, Iss.2, 1996-02, pp. : 127-144

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

Related content

Robot Map Verification of a Graph World

By deng X. Milios E. Mirzaian A.

Journal of Combinatorial Optimization, Vol. 5, Iss. 4, 2001-12 ,pp. : 383-395

Springer Publishing Company

Access to resources Recommend Favorite

Refinement complements verification and validation

By Craw S.

International Journal of Human-Computer Studies, Vol. 44, Iss. 2, 1996-02 ,pp. : 245-256

Academic Press

Access to resources Recommend Favorite

Editorial: special issue on verification and validation

By Plant R. Preece A.D.

International Journal of Human-Computer Studies, Vol. 44, Iss. 2, 1996-02 ,pp. : 123-125

Academic Press

Access to resources Recommend Favorite

Verification and validation with ripple-down rules

By Kang B.H. Gambetta W. Compton P.

International Journal of Human-Computer Studies, Vol. 44, Iss. 2, 1996-02 ,pp. : 257-269

Academic Press

Access to resources Recommend Favorite

Verification and validation of the SACHEM conceptual model

By Le Goc M. Frydman C. Torres L.

International Journal of Human-Computer Studies, Vol. 56, Iss. 2, 2002-02 ,pp. : 199-223

Academic Press

Access to resources Recommend Favorite