Author of the publication

Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems.

, , , and . MEDI, volume 13761 of Lecture Notes in Computer Science, page 119-132. Springer, (2022)

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

Towards a Model-based Multi-Objective Optimization Approach For Safety-Critical Real-Time Systems., , , and . DATE, page 634-637. IEEE, (2020)Advances in modeling, verification and testing of safety-critical software architectures., and . Innov. Syst. Softw. Eng., 18 (4): 483-484 (2022)QoSMOS: QoS metrics management tool suite., , and . Comput. Lang. Syst. Struct., (2018)Model and data engineering for advanced data-intensive systems and applications., , , and . Computing, 101 (10): 1391-1395 (2019)Key Enabling Technologies for Drones., , , , , , and . DSD, page 489-496. IEEE, (2020)Capitalizing the database cost models process through a service-based pipeline., and . Concurr. Comput. Pract. Exp., (2023)Guest editorial: Special issue on modeling, verification and testing of dependable critical systems., and . J. Syst. Archit., (2021)Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems., , , and . MEDI, volume 13761 of Lecture Notes in Computer Science, page 119-132. Springer, (2022)Towards a Modular and Customisable Model-Based Architecture for Autonomous Drones., , and . COMPSAC, page 1127-1128. IEEE, (2020)Re-engineering Web Application towards Linked Data: a Model-Based Approach., , , and . Int. Arab J. e-Technol., 5 (2): 58-70 (2018)