Requirements modelling and formal analysis using graph operations

ISSN： 0020-7543

Source： International Journal of Production Research, Vol.44, Iss.17, 2006-09, pp. : 3451-3470

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

Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems

By Kim N.

International Journal of Production Research, Vol. 48, Iss. 5, 2010-01 ,pp. : 1303-1320

Taylor & Francis Ltd

Access to resources Recommend Favorite

Predictive modelling of turning operations using response surface methodology, artificial neural networks and support vector regression

By Gupta Amit Kumar

International Journal of Production Research, Vol. 48, Iss. 3, 2010-01 ,pp. : 763-778

Taylor & Francis Ltd

Access to resources Recommend Favorite

Committee Operations Analysis

BOARD & ADMINISTRATOR FOR ADMINISTRATORS ONLY, Vol. 31, Iss. 10, 2015-06 ,pp. : 6-6

John Wiley & Sons Inc

Access to resources Recommend Favorite

Formal specification and analysis of production systems

By Bos V. Kleijn J.J.T.

International Journal of Production Research, Vol. 40, Iss. 15, 2002-10 ,pp. : 3879-3894

Taylor & Francis Ltd

Access to resources Recommend Favorite

Modelling a port logistics process using the structured analysis and design technique

By Roh Hong-Seung

International Journal of Logistics, Vol. 10, Iss. 3, 2007-09 ,pp. : 283-302

Taylor & Francis Ltd

Access to resources Recommend Favorite