書目名稱 | Embedded Software | 副標題 | Third International | 編輯 | Rajeev Alur,Insup Lee | 視頻video | http://file.papertrans.cn/308/307924/307924.mp4 | 叢書名稱 | Lecture Notes in Computer Science | 圖書封面 |  | 描述 | .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.. | 出版日期 | Conference proceedings 2003 | 關鍵詞 | Middleware; compiler; formal method; modeling; programming; programming language; real-time | 版次 | 1 | doi | https://doi.org/10.1007/b13983 | isbn_softcover | 978-3-540-20223-3 | isbn_ebook | 978-3-540-45212-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 | issn_series | 0302-9743 | copyright | Springer-Verlag Berlin Heidelberg 2003 |
The information of publication is updating
|
|