ABSTRACT
Hans Hansson, Mikael Nolin and Thomas Nolte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81-1 82. Design of Embedded Systems
Luciano Lavagno and Claudio Passerone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82-1 83. Models of Computation for Embedded Systems
Luís Gomes and João Paulo Barros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83-1 84. Hardware-level Design Languages
Luís Gomes and Anikó Costa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84-1 85. Languages for Embedded Systems
Stephen Edwards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85-1 86. Verification Languages
Aarti Gupta, Ali Alphan Bayazit and Yogesh Mahajan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86-1 87. Embedded Software in the SoC World.