دانلود کتاب Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
کتاب سیستم های تعبیه شده: طراحی ، تجزیه و تحلیل و تأیید: 4 سمپوزیوم سیستم تعبیه شده بین المللی IFIP TC 10 ، IESS 2013 ، Paderborn ، آلمان ، 17-19 ژوئن 2013. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب سیستم های تعبیه شده: طراحی ، تجزیه و تحلیل و تأیید: 4 سمپوزیوم سیستم تعبیه شده بین المللی IFIP TC 10 ، IESS 2013 ، Paderborn ، آلمان ، 17-19 ژوئن 2013. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
نام کتاب : Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : سیستم های تعبیه شده: طراحی ، تجزیه و تحلیل و تأیید: 4 سمپوزیوم سیستم تعبیه شده بین المللی IFIP TC 10 ، IESS 2013 ، Paderborn ، آلمان ، 17-19 ژوئن 2013. مجموعه مقالات
سری : IFIP Advances in Information and Communication Technology 403
نویسندگان : Takuya Azumi, Yasaman Samei Syahkal, Yuko Hara-Azumi, Hiroshi Oyama, Rainer Dömer (auth.), Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2013
تعداد صفحات : 354
[368]
ISBN (شابک) : 978-3-642-388 , 978-3-642-388
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 12 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب ، دادرسی داوری چهارمین سمپوزیوم سیستم تعبیه شده بین المللی IFIP TC 10 ، IESS 2013 ، که در ژوئن سال 2013 در پادربورن ، آلمان برگزار شد ، تشکیل شده است. 22 مقاله اصلاح شده کامل به همراه 8 مقاله کوتاه با دقت مورد بررسی قرار گرفتند و از 42 فروردینی انتخاب شدند. مقالات در بخش های موضعی زیر سازماندهی شده اند: روش های طراحی ؛ جنبه های غیر عملکردی سیستم های تعبیه شده ؛ تأیید تجزیه و تحلیل عملکرد ؛ سیستم های زمان واقعی ؛ برنامه های تعبیه شده سیستم ؛ و جنبه های زمان واقعی در سیستم های توزیع شده. این کتاب همچنین شامل یک فصل ویژه است که به پروژه Aramis با بودجه BMBF در سیستم های خودرو ، راه آهن و هواپیمایی چند مرحله ای اختصاص داده شده است.
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی