History
1
au:Amorim, L*
6


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 6 of 6 total

Software synthesis for hard real-time embedded systems with multiple processors (English)
ACM SIGSOFT Software Engineering Notes 32, No. 2, 1-10 (2007).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
Mapping live sequence chart to coloured Petri nets for analysis and verification of embedded systems (English)
ACM SIGSOFT Software Engineering Notes 31, No. 3, 1-25 (2006).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
A retargetable environment for power-aware code evaluation: an approach based on coloured Petri net (English)
PATMOS, 49-58 (2005).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
A time Petri net-based approach for software synthesis considering overheads (English)
SBAC-PAD, 184-192 (2005).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX URL
A methodology for software synthesis of embedded real-time systems based on TPN and LSC (English)
ICESS, 50-62 (2005).
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
A universal model for XML information retrieval (English)
INEX, 311-321 (2004).
WorldCat.org
6
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 6 of 6 total

Valid XHTML 1.0 Transitional Valid CSS!