Mostrando 2 resultados de: 2
Filtros aplicados
Automatic verification of business process integrity
ArticleAbstract: Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improviPalabras claves:BP, BUSINESS PROCESS, Formal Methods, MC, Model-checking, modelling, VerificationAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusA conceptual scheme for compositional model-checking verification of critical communicating systems
Conference ObjectAbstract: When we build complex business and communication systems, the question worth to be answered: How canPalabras claves:Compositional verification, Model-checking, Real-time software systemsAutores:Ahklaki K.B., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopus