Embedded Software

Rajeev Alur

ISBN 10: 3540202234 / ISBN 13: 9783540202233

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2003, 2003

About this Item

Neuware -This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip. 388 pp. Englisch.

Seller Inventory # 9783540202233

Bibliographic Details

• Title: Embedded Software
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2003
• Publication Date: 2003
• Language: English
• ISBN 10: 3540202234
• ISBN 13: 9783540202233
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 21D millimeters 235 millimeters width by 155 millimeters height by 21 millimeters depth
• Weight: 587 grams

About this title

Synopsis

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.

The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.