( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
UML for ESL design: basic principles, tools, and applications.

, , , , , , и . ICCAD, стр. 73-80. ACM, (2006)

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.

Marco Scandurra

Isabella Scandurra

Patrizia Hey

Patrizia Benedetti

Patrizia Cantoni

 

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

A framework to simulate UML models: moving from a semi-formal to a formal environment., , и . SAC, стр. 1519-1523. ACM, (2004)A Concrete Syntax Derived From the Abstract State Machine Metamodel., , , , и . Abstract State Machines, стр. 345-368. (2005)Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components., и . ACT4SOC, стр. 29-41. SciTePress, (2010)An ASM-based executable formal model of service-oriented component interactions and orchestration., и . BM-FA, стр. 5. ACM, (2010)An HW/SW Co-design Environment based on UML and SystemC., , , и . FDL, стр. 515-519. ECSI, (2005)Model-Based Simulation at Runtime with Abstract State Machines., и . ECSA Companion, том 1269 из Communications in Computer and Information Science, стр. 395-410. Springer, (2020)Towards Better Trust in Human-Machine Teaming through Explainable Dependability., , , , , и . ICSA-C, стр. 86-90. IEEE, (2023)Formal Design and Verification of Self-Adaptive Systems with Decentralized Control., , и . ACM Trans. Auton. Adapt. Syst., 11 (4): 25:1-25:35 (2017)Model-Driven Language Engineering: The ASMETA Case Study., , и . ICSEA, стр. 373-378. IEEE Computer Society, (2008)Business Process Adaptability Metrics for QoS-Based Service Compositions., , , , и . ESOCC, том 9306 из Lecture Notes in Computer Science, стр. 110-124. Springer, (2015)