From post

Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints.

, , , и . CIMCA/IAWTIC/ISE, стр. 615-620. IEEE Computer Society, (2008)

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.

 

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

A Petri net based method for functional and interconnect units estimation., , и . SMC (5), стр. 4983-4988. IEEE, (2004)A Hybrid DVS Scheduling Approach for Hard Real-Time Systems., , , , , и . SMC, стр. 2848-2853. IEEE, (2009)AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems., , , , , , и . SMC, стр. 3364-3369. IEEE, (2014)ASTRO: A tool for dependability evaluation of Data Center infrastructures., , , , , , , , , и 2 other автор(ы). SMC, стр. 783-790. IEEE, (2010)Dependability evaluation of cloud infrastructures., , , , и . SMC, стр. 1282-1287. IEEE, (2014)Availability modeling and analysis of a VoD service for eucalyptus platform., , , , и . SMC, стр. 3779-3784. IEEE, (2014)An Approach for Reducing the Gap between BPMN Models and Implementation Artifacts., , , , , , , , , и 1 other автор(ы). RITA, 16 (2): 83-86 (2009)Modelling and analysis of inventory policy: an approach based on Petri nets., , и . SMC, стр. 2043-2048. IEEE, (2005)Performance and Resource Consumption Analysis of Elastic Systems on Public Clouds., , , , и . SMC, стр. 2115-2120. IEEE, (2019)A scheduler for mobile cloud based on weighted metrics and dynamic context evaluation., , , и . SAC, стр. 569-576. ACM, (2015)