( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.

, , , , , , и . MoDELS (Companion), стр. 83-84. ACM, (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.

Jila Salehi

Mohammad Salehi

Djavid Salehi

Mahsa Salehi

Manssur Salehi

 

Другие публикации лиц с тем же именем

Property Ownership Formal Modelling Using Event-B and iUML-B., , , и . ABZ, том 14759 из Lecture Notes in Computer Science, стр. 191-200. Springer, (2024)Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems., , , и . ABZ, том 14759 из Lecture Notes in Computer Science, стр. 43-60. Springer, (2024)Developing the UML-B Modelling Tools., , , , и . SEFM Workshops, том 13765 из Lecture Notes in Computer Science, стр. 181-188. Springer, (2022)SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B., , и . FM Workshops (1), том 12232 из Lecture Notes in Computer Science, стр. 19-29. Springer, (2019)Extensible Record Structures in Event-B., , , , и . ABZ, том 12709 из Lecture Notes in Computer Science, стр. 130-136. Springer, (2021)A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design., , , , , , и . MoDELS (Companion), стр. 83-84. ACM, (2022)Building an Extensible Textual Framework for the Rodin Platform., , , , и . SEFM Workshops, том 13765 из Lecture Notes in Computer Science, стр. 132-147. Springer, (2022)Designing Exception Handling Using Event-B., , , , , , и . ABZ, том 14759 из Lecture Notes in Computer Science, стр. 270-277. Springer, (2024)Formal Derivation of Distributed MapReduce., , , , и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 238-254. Springer, (2014)A model-based framework for software portability and verification in embedded power management systems., , , , , , и . J. Syst. Archit., (2018)