Author of the publication

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.

, , , , , , and . ICESS, volume 3820 of Lecture Notes in Computer Science, page 50-62. Springer, (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A modeling architecture for the orchestration of service components in factory automation., , , , and . ETFA, page 1-8. IEEE, (2015)A Formal Model for Performance and Energy Evaluation of Embedded Systems., , , , , , and . EURASIP J. Embed. Syst., (2011)An annotation-based approach for JCSP concurrent programming: a quantitative study., , , , , and . MISS@AOSD, page 7-11. ACM, (2011)Petri nets tools integration through Eclipse., , and . eTX, page 90-94. ACM, (2005)Modular aspect-oriented design rule enforcement with XPIDRs., , , , and . FOAL, page 13-18. ACM, (2013)Using process mining in software development process management: A case study., , , and . SMC, page 1181-1186. IEEE, (2011)Coordinating functional processes with Haskell#., , and . SAC, page 393-400. ACM, (2002)Implementing Java modeling language contracts with AspectJ., , , , and . SAC, page 228-233. ACM, (2008)Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains., , , and . IEEE Trans. Syst. Man Cybern. Syst., 43 (5): 1013-1027 (2013)GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation., , , and . Inf. Softw. Technol., 52 (11): 1155-1166 (2010)