EMSOFT: Embedded Software

T.A. Henzinger, C. Kirsch, EMSOFT: Embedded Software, ACM, 2001.

Download
No fulltext has been uploaded. References only!

Conference (Editor) | Published
forms.conference_editor.field.author.label
;
Series Title
LNCS
Abstract
Embedded software is software that interacts with physical processes. As em- bedded systems increasingly permeate our daily lives on all levels, from micros- copic devices to international networks, the cost-efficient development of reliable embedded software is one of the grand challenges in computer science today. The purpose of the workshop is to bring together researchers in all areas of computer science that are traditionally distinct but relevant to embedded software develop- ment, and to incubate a research community in this way. The workshop aims to cover all aspects of the design and implementation of embedded software, inclu- ding operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution time analysis, networking and fault tolerance, as well as application areas, such as embedded control, real-time signal processing, and telecommunications.
Publishing Year
Date Published
2001-09-26
forms.conference_editor.field.publication.label
EMSOFT: Embedded Software
Volume
2211
IST-REx-ID

Cite this

Henzinger TA, Kirsch C. EMSOFT: Embedded Software. Vol 2211. ACM; 2001. doi:10.1007/3-540-45449-7
Henzinger, T. A., & Kirsch, C. (2001). EMSOFT: Embedded Software. EMSOFT: Embedded Software (Vol. 2211). ACM. https://doi.org/10.1007/3-540-45449-7
Henzinger, Thomas A, and Christoph Kirsch. EMSOFT: Embedded Software. EMSOFT: Embedded Software . Vol. 2211. ACM, 2001. https://doi.org/10.1007/3-540-45449-7.
T. A. Henzinger and C. Kirsch, EMSOFT: Embedded Software, vol. 2211. ACM, 2001.
Henzinger TA, Kirsch C. 2001. EMSOFT: Embedded Software, ACM,p.
Henzinger, Thomas A., and Christoph Kirsch. “EMSOFT: Embedded Software.” EMSOFT: Embedded Software , vol. 2211, ACM, 2001, doi:10.1007/3-540-45449-7.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar