Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
Lecture Notes in Business Information Processing(1)
Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007(1)
Área temáticas
Ciencias de la computación(1)
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:googlescopusAn interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T
Conference ObjectAbstract: Although the syntax of UML and UML-RT diagrams is well understood and widely accepted in the industrPalabras claves:Autores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., Tuñón M.I.C.Fuentes:googlescopus