ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

دانلود کتاب تکنیک‌های رسمی برای اشیاء، اجزا و سیستم‌های توزیع‌شده: چهلمین کنفرانس بین‌المللی IFIP WG 6.1، FORTE 2020، به عنوان بخشی از پانزدهمین کنفرانس فدرال بین‌المللی در تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2020، والتا 29، والتا، والتا، 2020، 2020، والتا، مالتا

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

مشخصات کتاب

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

ویرایش: [1st ed.] 
نویسندگان:   
سری: Lecture Notes in Computer Science 12136 
ISBN (شابک) : 9783030500856, 9783030500863 
ناشر: Springer International Publishing;Springer 
سال نشر: 2020 
تعداد صفحات: XII, 237
[243] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 14 Mb

قیمت کتاب (تومان) : 62,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تکنیک‌های رسمی برای اشیاء، اجزا و سیستم‌های توزیع‌شده: چهلمین کنفرانس بین‌المللی IFIP WG 6.1، FORTE 2020، به عنوان بخشی از پانزدهمین کنفرانس فدرال بین‌المللی در تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2020، والتا 29، والتا، والتا، 2020، 2020، والتا، مالتا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تکنیک‌های رسمی برای اشیاء، اجزا و سیستم‌های توزیع‌شده: چهلمین کنفرانس بین‌المللی IFIP WG 6.1، FORTE 2020، به عنوان بخشی از پانزدهمین کنفرانس فدرال بین‌المللی در تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2020، والتا 29، والتا، والتا، 2020، 2020، والتا، مالتا



این کتاب مجموعه مقالات چهلمین کنفرانس بین المللی IFIP WG 6.1 در تکنیک های رسمی برای اشیاء، اجزا و سیستم های توزیع شده، FORTE 2020، در والتا، مالت، در ژوئن 2020، به عنوان بخشی از پانزدهمین کنفرانس بین المللی است. کنفرانس فدرال تکنیک های محاسباتی توزیع شده، DisCoTec 2020.*

10 مقاله کامل و 1 مقاله کوتاه ارائه شده با دقت بررسی و از بین 25 مورد ارسالی انتخاب شدند. این کنفرانس به تحقیقات بنیادی در مورد نظریه، مدل‌ها، ابزارها و برنامه‌های کاربردی برای سیستم‌های توزیع‌شده اختصاص دارد.

*این کنفرانس به‌دلیل همه‌گیری COVID-19 به صورت مجازی برگزار شد.

</ p>

فصل «تشخیص دوپینگ مبتنی بر انطباق برای سیستم‌های فیزیکی سایبری» تحت مجوز بین‌المللی Creative Commons Attribution 4.0 از طریق link.springer.com دسترسی آزاد دارد.

</ p>

توضیحاتی درمورد کتاب به خارجی

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*

The 10 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

*The conference was held virtually due to the COVID-19 pandemic.

Chapter ‘Conformance-Based Doping Detection for Cyber-Physical Systems’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.



فهرست مطالب

Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
 Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego  (Davide Basile, Maurice H. ter Beek, Axel Legay)....Pages 3-21
 Towards Bridging Time and Causal Reversibility  (Marco Bernardo, Claudio Antares Mezzina)....Pages 22-38
 Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory  (Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim)....Pages 39-58
 Conformance-Based Doping Detection for Cyber-Physical Systems  (Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns)....Pages 59-77
 On Implementable Timed Automata  (Sergio Feo-Arenis, Milan Vujinović, Bernd Westphal)....Pages 78-95
 Deep Statistical Model Checking  (Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz)....Pages 96-114
 Trace Equivalence and Epistemic Logic to Express Security Properties  (Kiraku Minami)....Pages 115-132
 Derivation of Heard-of Predicates from Elementary Behavioral Patterns  (Adam Shimi, Aurélie Hurault, Philippe Queinnec)....Pages 133-149
 Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities  (Jeremy Sproston)....Pages 150-168
 A Formal Framework for Consent Management  (Shukun Tokas, Olaf Owe)....Pages 169-186
Front Matter ....Pages 187-187
 Tutorial: Parameterized Verification with Byzantine Model Checker  (Igor Konnov, Marijana Lazić, Ilina Stoilkovska, Josef Widder)....Pages 189-207
 Typechecking Java Protocols with [St]Mungo  (A. Laura Voinea, Ornela Dardha, Simon J. Gay)....Pages 208-224
Front Matter ....Pages 225-225
 Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)  (Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas)....Pages 227-235
Back Matter ....Pages 237-237




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد