( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symboleo: Towards a Specification Language for Legal Contracts.

, , , , и . RE, стр. 364-369. IEEE, (2020)

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.

Alireza Djirsarai

Alireza Rahimi

Alireza Azem

Alireza Sarveniazi

Alireza Sadeghi

 

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

Engineering Smart Contracts with Symboleo: A Progress Report., , , , , , , , , и 1 other автор(ы). CASCON, стр. 235-237. ACM, (2023)Specification and analysis of legal contracts with Symboleo., , , , , , , и . Softw. Syst. Model., 21 (6): 2395-2427 (2022)Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo., , , , и . ER, том 12400 из Lecture Notes in Computer Science, стр. 271-285. Springer, (2020)Social Requirements Models for Services., , , , и . Next-Gen Digital Services, том 12521 из Lecture Notes in Computer Science, стр. 100-108. Springer, (2021)Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain., , , и . PST, стр. 1-5. IEEE, (2023)Symboleo2SC: from legal contract specifications to smart contracts., , , , , , и . MoDELS, стр. 300-310. ACM, (2022)Social Dependence Relationships in Requirements Engineering., , , , и . iStar, том 2641 из CEUR Workshop Proceedings, стр. 55-60. CEUR-WS.org, (2020)Symboleo: Towards a Specification Language for Legal Contracts., , , , и . RE, стр. 364-369. IEEE, (2020)Towards the Specification and Verification of Legal Contracts.. RE, стр. 445-450. IEEE, (2020)Model-checking legal contracts with SymboleoPC., , , , , и . MoDELS, стр. 278-288. ACM, (2022)