Algorithm for formal verification of business process templates

ISSN： 1060-0396

Source： Cybernetics and Systems Analysis, Vol.47, Iss.2, 2011-03, pp. : 228-240

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

An Algorithm for Computing Quasi-Homogeneous Formal Normal Forms under Equivalence

By Algaba Antonio

Acta Applicandae Mathematicae, Vol. 80, Iss. 3, 2004-02 ,pp. : 335-359

Springer Publishing Company

Access to resources Recommend Favorite

An Upgraded Porous Medium Coupled Transport Process Algorithm

By Rose Walter

Transport in Porous Media, Vol. 59, Iss. 3, 2005-06 ,pp. : 357-372

Springer Publishing Company

Access to resources Recommend Favorite

MGNPE‐LICA algorithm for fault diagnosis of batch process

THE CANADIAN JOURNAL OF CHEMICAL ENGINEERING, Vol. 94, Iss. 10, 2016-10 ,pp. : 1947-1954

John Wiley & Sons Inc

Access to resources Recommend Favorite

The Numerical Simulation of the Deep Drawing Process and its Verification by the Adaptation of the Laminated Tooling Concept

Materials Science Forum, Vol. 2016, Iss. 862, 2016-09 ,pp. : 222-229

Trans Tech Publications

Access to resources Recommend Favorite

Algorithm of Extrapolation of a Nonlinear Random Process on the Basis of Its Canonical Decomposition

By Atamanyuk I.

Cybernetics and Systems Analysis, Vol. 41, Iss. 2, 2005-03 ,pp. : 267-273

Springer Publishing Company

Access to resources Recommend Favorite