مشخصات کتاب

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

ویرایش:  
نویسندگان: Laure Petrucci,  Cristina Seceleanu,  Ana Cavalcanti (editors)  
سری: Lecture notes in computer science #10471 
ISBN (شابک) : 331967112X, 9783319671130 
ناشر: Springer International Publishing 
سال نشر: 2017 
تعداد صفحات: XIV, 235
[242] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 Mb 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

در صورت تبدیل فایل کتاب Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم‌های بحرانی: روش‌های رسمی و تأیید خودکار: بیست و دومین کارگاه بین‌المللی مشترک در مورد روش‌های رسمی برای سیستم‌های بحرانی صنعتی و هفدهمین کارگاه بین‌المللی تأیید خودکار سیستم‌های بحرانی، FMICS-AVoCS 2017، تورین، ایتالیا، 18 تا 20 سپتامبر 2017، فعالیت‌ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سیستم‌های بحرانی: روش‌های رسمی و تأیید خودکار: بیست و دومین کارگاه بین‌المللی مشترک در مورد روش‌های رسمی برای سیستم‌های بحرانی صنعتی و هفدهمین کارگاه بین‌المللی تأیید خودکار سیستم‌های بحرانی، FMICS-AVoCS 2017، تورین، ایتالیا، 18 تا 20 سپتامبر 2017، فعالیت‌ها

این کتاب مجموعه مقالات داوری بیست و دومین کارگاه بین‌المللی مشترک روش‌های رسمی برای سیستم‌های بحرانی صنعتی و هفدهمین کارگاه بین‌المللی تأیید خودکار سیستم‌های بحرانی، FMICS-AVoCS 2017 است که در تورین، ایتالیا، در سپتامبر 2017 برگزار شد. 14 مقاله کامل ارائه شده همراه با یک سخنرانی دعوت شده به دقت بررسی و از بین 30 مقاله ارسالی انتخاب شدند. آنها در بخش های زیر سازماندهی شده اند: تکنیک های تأیید خودکار. تست و برنامه ریزی؛ روش‌های رسمی برای روبات‌های متحرک و خودمختار؛ و تکنیک های مدل سازی و تحلیل

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

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

فهرست مطالب

Front Matter ....Pages I-XIV
Front Matter ....Pages 1-1
 Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report  (Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman)....Pages 3-18
 Verifying Event-Based Timing Constraints by Translation into Presburger Formulae  (Björn Lisper)....Pages 19-33
 Query Checking for Linear Temporal Logic  (Samuel Huang, Rance Cleaveland)....Pages 34-48
Front Matter ....Pages 49-49
 Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms  (Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima)....Pages 51-65
 Model-Based Testing for Asynchronous Systems  (Alexander Graf-Brill, Holger Hermanns)....Pages 66-82
 Information Leakage as a Scheduling Resource  (Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay)....Pages 83-99
 A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty  (Étienne André)....Pages 100-115
Front Matter ....Pages 117-117
 CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours  (Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders et al.)....Pages 119-133
 Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information  (Felipe J. Montana, Jun Liu, Tony J. Dodd)....Pages 134-149
 Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications  (Felipe J. Montana, Jun Liu, Tony J. Dodd)....Pages 150-164
 Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems  (Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain)....Pages 165-181
Front Matter ....Pages 183-183
 Learning-Based Testing the Sliding Window Behavior of TCP Implementations  (Paul Fiterău-Broştean, Falk Howar)....Pages 185-200
 Optimizing Feature Interaction Detection  (Alessandro Fantechi, Stefania Gnesi, Laura Semini)....Pages 201-216
 Formalising the Dezyne Modelling Language in mCRL2  (Rutger van Beusekom, Jan Friso Groote, Paul Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa et al.)....Pages 217-233
 Erratum to: Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems  (Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain)....Pages E1-E1
Back Matter ....Pages 235-235

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

کتاب های تصادفی

دانلود کتاب The Massachusetts General Hospital Handbook of

دانلود کتاب Pattern recognition : 39th German conference, GCPR 2017, Basel, Switzerland, September 12-15, 2017 : proceedings

دانلود کتاب Pollutant Discharge and Water Quality in Urbanisation

دانلود کتاب Adolf Hitler - Politischer Zauberlehrling Mussolinis

دانلود کتاب Bài tập Vật lí đại cương Tập hai : Điện - Dao động - Sóng -- Biên soạn theo chương trình của Bộ Giáo dục và Đào tạo ban hành năm 1990 -- Dùng cho các trường đại học các khối công nghiệp, công trình thuỷ lợi, giao thông vận tải (tái bản lần thứ mười lăm)