Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of ComputationJantsch, AxelSan Diego: Elsevier Science 2003Texto completo disponível |
|
2 |
Material Type: Livro
|
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 ProceedingsDamm, Werner ; Olderog, Ernst -Rüdiger Damm, Werner ; Olderog, Ernst -RüdigerBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
|
3 |
Material Type: Livro
|
The Art of Designing Embedded SystemsGanssle, Jack ; Ganssle, Jack GBurlington: Elsevier Science & Technology 1999Texto completo disponível |