| 書目名稱 | Embedded Systems: Design, Analysis and Verification | | 副標(biāo)題 | 4th IFIP TC 10 Inter | | 編輯 | Gunar Schirner,Marcelo G?tz,Franz J. Rammig | | 視頻video | http://file.papertrans.cn/308/307967/307967.mp4 | | 概述 | State-of-the-art research.Fast-track conference proceedings.Unique visibility | | 叢書名稱 | IFIP Advances in Information and Communication Technology | | 圖書封面 |  | | 描述 | This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to the BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems. | | 出版日期 | Conference proceedings 2013 | | 關(guān)鍵詞 | formal verification; model checking; open hardware; performance evaluation; system-on-chip | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-38853-8 | | isbn_softcover | 978-3-642-43028-2 | | isbn_ebook | 978-3-642-38853-8Series ISSN 1868-4238 Series E-ISSN 1868-422X | | issn_series | 1868-4238 | | copyright | IFIP International Federation for Information Processing 2013 |
The information of publication is updating
書目名稱Embedded Systems: Design, Analysis and Verification影響因子(影響力)
書目名稱Embedded Systems: Design, Analysis and Verification影響因子(影響力)學(xué)科排名
書目名稱Embedded Systems: Design, Analysis and Verification網(wǎng)絡(luò)公開(kāi)度
書目名稱Embedded Systems: Design, Analysis and Verification網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Embedded Systems: Design, Analysis and Verification被引頻次
書目名稱Embedded Systems: Design, Analysis and Verification被引頻次學(xué)科排名
書目名稱Embedded Systems: Design, Analysis and Verification年度引用
書目名稱Embedded Systems: Design, Analysis and Verification年度引用學(xué)科排名
書目名稱Embedded Systems: Design, Analysis and Verification讀者反饋
書目名稱Embedded Systems: Design, Analysis and Verification讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 12:00
發(fā)表于 2025-3-21 17:13:09
