( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Engineering Smart Contracts with Symboleo: A Progress Report.

, , , , , , , , , , и . CASCON, стр. 235-237. ACM, (2023)

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.

Ahmad Anda

Anda Napo

László Anda

Domenico Amalfitano

Linda Amalou-Döpke

 

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

Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems., и . J. Integr. Des. Process. Sci., 25 (2): 141-177 (2021)Towards Improved Requirements Engineering with SysML and the User Requirements Notation., , , , и . RE, стр. 329-334. IEEE Computer Society, (2016)An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models., и . MoDRE@RE, стр. 11-20. IEEE, (2020)Symboleo2SC: from legal contract specifications to smart contracts., , , , , , и . MoDELS, стр. 300-310. ACM, (2022)Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems., и . RE, стр. 245-256. IEEE, (2019)Engineering Smart Contracts with Symboleo: A Progress Report., , , , , , , , , и 1 other автор(ы). CASCON, стр. 235-237. ACM, (2023)An Arithmetic Semantics for GRL Goal Models with Function Generation., , и . SAM, том 11150 из Lecture Notes in Computer Science, стр. 144-162. Springer, (2018)Traceability Management of GRL and SysML Models., и . SAM, стр. 117-126. ACM, (2020)Consistency Analysis for User Requirements Notation Models., , , , и . iStar, том 1674 из CEUR Workshop Proceedings, стр. 43-48. CEUR-WS.org, (2016)Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML.. RE, стр. 442-447. IEEE Computer Society, (2018)