( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a model transformation intent catalog.

, , , , , , , и . AMT@MoDELS, стр. 3-8. ACM, (2012)

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.

Lúcio Castelo Branco

Ronaldo Lúcio Rodrigues Moura

Gonzalo Lucioni

Marianna Lucio

Ricardo Lucio Alvarez

 

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

Structure and behavior preserving statecharts refinements., , и . Sci. Comput. Program., (2019)Full contract verification for ATL using symbolic execution., , , и . Softw. Syst. Model., 17 (3): 815-849 (2018)SyVOLT: Full Model Transformation Verification Using Contracts., , , , , , и . P&D@MoDELS, том 1554 из CEUR Workshop Proceedings, стр. 24-27. CEUR-WS.org, (2015)Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012)., , , и . AMT@MoDELS, стр. 1-2. ACM, (2012)Generation of Co-simulation Algorithms Subject to Simulator Contracts., , , , и . SEFM Workshops, том 12226 из Lecture Notes in Computer Science, стр. 34-49. Springer, (2019)EARS-CTRL: Generating Controllers for Dummies., , , и . MoDELS (Satellite Events), том 2019 из CEUR Workshop Proceedings, стр. 566-570. CEUR-WS.org, (2017)Design and Runtime Verification Side-by-Side in eTrice., , , и . NFM, том 11460 из Lecture Notes in Computer Science, стр. 255-262. Springer, (2019)Refining Statecharts while preserving the structure and behavior., , и . SEAA, стр. 183. IEEE, (2020)Semantics of Co-simulation Algorithms with Simulator Contracts., , и . MoDELS (Companion), стр. 784-789. IEEE, (2019)Just Formal Enough? Automated Analysis of EARS Requirements., , , и . NFM, том 10227 из Lecture Notes in Computer Science, стр. 427-434. (2017)