( en | de | ru )

 

Disambiguierung von "Fathabadi, Asieh Salehi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective.

, , , , , , und . TAS, Seite 56:1-56:6. ACM, (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

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)Extensible Record Structures in Event-B., , , , und . ABZ, Volume 12709 von Lecture Notes in Computer Science, Seite 130-136. Springer, (2021)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)Designing Exception Handling Using Event-B., , , , , , und . ABZ, Volume 14759 von Lecture Notes in Computer Science, Seite 270-277. Springer, (2024)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)Developing the UML-B Modelling Tools., , , , und . SEFM Workshops, Volume 13765 von Lecture Notes in Computer Science, Seite 181-188. Springer, (2022)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)A model-based framework for software portability and verification in embedded power management systems., , , , , , und . J. Syst. Archit., (2018)