( en | de | ru )

 

Disambiguierung von "Lima, Ricardo Massa Ferreira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.

, , , , , , und . ICESS, Volume 3820 von Lecture Notes in Computer Science, Seite 50-62. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ricardo Lima Chaves

Fernando Gomes Ferreira Lima

Fernando Gomes Ferreira Lima

Marcelo de Lima Leal Ferreira

Claudia Massa

 

Weitere Publikationen von Autoren mit dem selben Namen

A modeling architecture for the orchestration of service components in factory automation., , , , und . ETFA, Seite 1-8. IEEE, (2015)A Formal Model for Performance and Energy Evaluation of Embedded Systems., , , , , , und . EURASIP J. Embed. Syst., (2011)An annotation-based approach for JCSP concurrent programming: a quantitative study., , , , , und . MISS@AOSD, Seite 7-11. ACM, (2011)Petri nets tools integration through Eclipse., , und . eTX, Seite 90-94. ACM, (2005)Using process mining in software development process management: A case study., , , und . SMC, Seite 1181-1186. IEEE, (2011)Modular aspect-oriented design rule enforcement with XPIDRs., , , , und . FOAL, Seite 13-18. ACM, (2013)GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation., , , und . Inf. Softw. Technol., 52 (11): 1155-1166 (2010)An Aspect-based Approach for Concurrent Programming using CSP Features., , , , , , , und . ICSOFT (2), Seite 226-231. SciTePress, (2010)A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems., , , , und . DIPES, Volume 150 von IFIP, Seite 157-166. Kluwer/Springer, (2004)Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains., , , und . IEEE Trans. Syst. Man Cybern. Syst., 43 (5): 1013-1027 (2013)