Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Compositional model-checking verification of critical systems
ArticleAbstract: Ensuring the correctness of Critical Systems (CS) becomes more complex if we consider that their behPalabras claves:Case study, Compositional verification, Critical software systems, Formal Methods, Model-checkingAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusAutomatic 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:googlescopus