A semi-formal approach to build the functional graph of an automated production system for supervision purposes

ISSN： 1362-3052

Source： International Journal of Computer Integrated Manufacturing, Vol.19, Iss.3, 2006-04, pp. : 234-247

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

Formal and semi-formal verification of a web voting system

By CristiaMaximilianoCIFASIS and UNR Rosario Argentina FrydmanClaudiaLSIS-CIFASIS Marseille France

International Journal of Web Information Systems, Vol. 11, Iss. 2, 2015-06 ,pp. : 183-204

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Event graph modelling of automated sorting and buffering system

By Choi B. K. Park J. H. Lee T.-E.

International Journal of Computer Integrated Manufacturing, Vol. 9, Iss. 5, 1996-09 ,pp. : 369-380

Taylor & Francis Ltd

Access to resources Recommend Favorite

A formal model of a system for automated program parallelization

By Vasenin V. Vodomerov A.

Programming and Computer Software, Vol. 33, Iss. 4, 2007-07 ,pp. : 181-194

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A Graph-theoretic approach to Expert-system Testing

By Hura G.S. Srikanthan T.

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 5, 1995-10 ,pp. : 539-547

Elsevier

Access to resources Recommend Favorite

A Collaborative Approach to Creating an Automated Cell Culture System

By Timoney Conal F. Felder Robin A.

Journal of the Association for Laboratory Automation, Vol. 7, Iss. 1, 2002-02 ,pp. : 55-58

Association for Laboratory Automation

Access to resources Recommend Favorite