Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System Rainer Gmehlich OriginalPaper Pages: 151 - 175
Device Driver and DMA Controller Synthesis from HW /SW Communication Protocol Specifications MATTIAS O'NilsAXEL Jantsch OriginalPaper Pages: 177 - 205
Efficient Memory Management for High-Speed ATM Systems D. N. SerpanosP. Karakonstantis OriginalPaper Pages: 207 - 235