Automatic verification of business process integrity

Article

Abstract: Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improvi

Palabras claves:

BP, BUSINESS PROCESS, Formal Methods, MC, Model-checking, modelling, Verification

Autores:

Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Tuñón M.I.C.

Fuentes:

google

scopus