( en | de | ru )

 

Disambiguation of "Fathabadi, Asieh Salehi"

Author of the publication

copydeleteadd this publication to your clipboard
Building Traceable Event-B Models from Requirements.

, , , and . ECEASST, (2013)

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.

Jila Salehi

Djavid Salehi

Mohammad Salehi

Mahsa Salehi

Manssur Salehi

 

Other publications of authors with the same name

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset., , , , and . Sci. Comput. Program., (2018)Formal Modelling of Data Integration Systems Security Policies., , , , and . Data Sci. Eng., 1 (3): 139-148 (2016)Extensible Record Structures in Event-B., , , , and . ABZ, volume 12709 of Lecture Notes in Computer Science, page 130-136. Springer, (2021)A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design., , , , , , and . MoDELS (Companion), page 83-84. ACM, (2022)Building an Extensible Textual Framework for the Rodin Platform., , , , and . SEFM Workshops, volume 13765 of Lecture Notes in Computer Science, page 132-147. Springer, (2022)SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B., , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 19-29. Springer, (2019)Developing the UML-B Modelling Tools., , , , and . SEFM Workshops, volume 13765 of Lecture Notes in Computer Science, page 181-188. Springer, (2022)Formal Derivation of Distributed MapReduce., , , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 238-254. Springer, (2014)A model-based framework for software portability and verification in embedded power management systems., , , , , , and . J. Syst. Archit., (2018)Trust Modelling and Verification Using Event-B., and . FMAS@iFM, volume 395 of EPTCS, page 10-16. (2023)