( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Framework for Modeling Cloud Infrastructures and User Interactions.

, , , , и . IEEE Access, (2019)

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.

Alejandro Valero

Silvia Valero

José-Manuel Ruiz-Marcos

Jose Miguel Ruiz

Margarita Ruiz Kolb

 

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

Decidability of Properties of Timed-Arc Petri Nets., , и . ICATPN, том 1825 из Lecture Notes in Computer Science, стр. 187-206. Springer, (2000)A congruence relation for sPBC., , , и . Formal Methods Syst. Des., 32 (2): 85-128 (2008)Introducing the Iteration in sPBC., , , и . FORTE, том 3235 из Lecture Notes in Computer Science, стр. 292-309. Springer, (2004)Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes., , , , и . Australian Software Engineering Conference, стр. 118-127. IEEE Computer Society, (2005)Decidability of the strict reachability problem for TPN's with rational and real durations., , и . PNPM, стр. 56-65. IEEE Computer Society, (1993)Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm., , , , и . MMM, стр. 49-56. IEEE Computer Society, (2004)A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF., , , и . SEFM Workshops, том 8938 из Lecture Notes in Computer Science, стр. 389-404. Springer, (2014)Model-checking verification of publish-subscribe architectures in web service contexts., , , и . SAC, стр. 1688-1695. ACM, (2015)A simulation tool of parallel architectures for digital image processing applications based on DLX processors., , , и . ICIP (3), стр. 448-451. IEEE Computer Society, (1995)A Sound and Complete Proof System for Probabilistic Processes., , и . ARTS, том 1231 из Lecture Notes in Computer Science, стр. 340-352. Springer, (1997)