Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings |
|
| Editor:
| Sangiovanni-Vincentelli, Alberto
Sifakis, Joseph |
| Series title: | Lecture Notes in Computer Science Ser. |
| ISBN: | 978-3-540-45828-9 |
| Publication Date: | Jun 2003 |
| Publisher: | Springer
|
| Book Format: | Ebook |
| List Price: | USD $119.00 |
Book Description:
|
This book constitutes the refereed proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France in October 2002.The book presents 13 invited papers by leading researchers and 17 revised full papers selected during a competitive round of reviewing. The book spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and...
More DescriptionThis book constitutes the refereed proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France in October 2002.The book presents 13 invited papers by leading researchers and 17 revised full papers selected during a competitive round of reviewing. The book spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, and communication protocols and fault-tolerance