Author of the publication

Integration of modeling and verification for system model based on KARMA language.

, , , , , and . DSM@SPLASH, page 41-50. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Design Ontology Supporting Model-Based Systems Engineering Formalisms., , , , , and . IEEE Syst. J., 16 (4): 5465-5476 (2022)Integration of modeling and verification for system model based on KARMA language., , , , , and . DSM@SPLASH, page 41-50. ACM, (2021)A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories., , , , and . SysCon, page 1-8. IEEE, (2022)Empirical-Evolution of Frameworks Supporting Co-simulation Tool-Chain Development., , , , and . WorldCIST (1), volume 745 of Advances in Intelligent Systems and Computing, page 813-828. Springer, (2018)Design ontology for cognitive thread supporting traceability management in model-based systems engineering., , , , , and . J. Ind. Inf. Integr., (2024)Ontology Supporting Model-Based Systems Engineering Based on a GOPPRR Approach., , , and . WorldCIST (1), volume 930 of Advances in Intelligent Systems and Computing, page 426-436. Springer, (2019)Cognitive twin construction for system of systems operation based on semantic integration and high-level architecture., , , and . Integr. Comput. Aided Eng., 29 (3): 277-295 (2022)Development of an Application Ontology for Knowledge Management to Support Aircraft Assembly System Design., , , , , , , and . JOWO, volume 2969 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization., , , , and . SysCon, page 1-7. IEEE, (2022)Model-based Systems Engineering Supporting Cost Analysis of Aircraft Development Process., , , , , and . ISSE, page 1-3. IEEE, (2021)