A protocol to formalise function verbs to support conservation-based model checking

Author： Sen Chiradeep   Summers Joshua D.   Mocko Gregory M.  

Publisher： Taylor & Francis Ltd

ISSN： 1466-1837

Source： Journal of Engineering Design, Vol.22, Iss.11-12, 2011-12, pp. : 765-788

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

A fuzzy expected value-based goal programing model for product planning using quality function deployment

By Fung Richard  

Engineering Optimization, Vol. 37, Iss. 6, 2005-09 ,pp. : 633-645

Taylor & Francis Ltd

Access to resources Recommend Favorite

A two-stage algorithm of adaptive model-based parameter estimation and its application in the fast calculation of Green's function in multi-layer soils *

By Guo Jian   Lee Jae-bok   Zou Jun   Zhang Bo   He Jinliang   Chang Sug-hun   Guan Zhicheng  

Progress in Natural Science, Vol. 14, Iss. 10, 2004-10 ,pp. : 927-933

Taylor & Francis Ltd

Access to resources Recommend Favorite

Key features for model building decision support systems

By Binbasioglu M.  

European Journal of Operational Research, Vol. 82, Iss. 3, 1995-05 ,pp. : 422-437

Elsevier

Access to resources Recommend Favorite

A decision-support model for investment decisions in new ventures

By Saridakis Y.G.   Sifniotopoulos C.G.   Sotiropoulos D.A.   Jain B.A.   Nag B.N.  

European Journal of Operational Research, Vol. 90, Iss. 3, 1996-05 ,pp. : 473-486

Elsevier

Access to resources Recommend Favorite

Rough set approach to knowledge-based decision support

By Pawlak Z.  

European Journal of Operational Research, Vol. 99, Iss. 1, 1997-05 ,pp. : 48-57

Elsevier

Access to resources Recommend Favorite