( en | de | ru )

 

Disambiguierung von "Fathabadi, Asieh Salehi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Trust Modelling and Verification Using Event-B.

, und . FMAS@iFM, Volume 395 von EPTCS, Seite 10-16. (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jila Salehi

Mohammad Salehi

Djavid Salehi

Mahsa Salehi

Manssur Salehi

 

Weitere Publikationen von Autoren mit dem selben Namen

Extensible Record Structures in Event-B., , , , und . ABZ, Volume 12709 von Lecture Notes in Computer Science, Seite 130-136. Springer, (2021)A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design., , , , , , und . MoDELS (Companion), Seite 83-84. ACM, (2022)Designing Exception Handling Using Event-B., , , , , , und . ABZ, Volume 14759 von Lecture Notes in Computer Science, Seite 270-277. Springer, (2024)Building an Extensible Textual Framework for the Rodin Platform., , , , und . SEFM Workshops, Volume 13765 von Lecture Notes in Computer Science, Seite 132-147. Springer, (2022)Developing the UML-B Modelling Tools., , , , und . SEFM Workshops, Volume 13765 von Lecture Notes in Computer Science, Seite 181-188. Springer, (2022)SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B., , und . FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 19-29. Springer, (2019)Property Ownership Formal Modelling Using Event-B and iUML-B., , , und . ABZ, Volume 14759 von Lecture Notes in Computer Science, Seite 191-200. Springer, (2024)Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems., , , und . ABZ, Volume 14759 von Lecture Notes in Computer Science, Seite 43-60. Springer, (2024)Formal Derivation of Distributed MapReduce., , , , und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 238-254. Springer, (2014)Trust Modelling and Verification Using Event-B., und . FMAS@iFM, Volume 395 von EPTCS, Seite 10-16. (2023)