دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
دانلود کتاب روش‌های رسمی: مبانی و برنامه‌های کاربردی: بیست و سومین سمپوزیوم برزیل، SBMF 2020، اورو پرتو، برزیل، 25 تا 27 نوامبر 2020، مجموعه مقالات
مشخصات کتاب
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
ویرایش: 1st ed.
نویسندگان: Gustavo Carvalho. Volker Stolz
سری: Lecture Notes in Computer Science 12475
ISBN (شابک) : 9783030638818, 9783030638825
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: 234
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 42,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب روش‌های رسمی: مبانی و برنامه‌های کاربردی: بیست و سومین سمپوزیوم برزیل، SBMF 2020، اورو پرتو، برزیل، 25 تا 27 نوامبر 2020، مجموعه مقالات: علوم کامپیوتر، مهندسی نرم افزار، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی: مبانی و برنامه‌های کاربردی: بیست و سومین سمپوزیوم برزیل، SBMF 2020، اورو پرتو، برزیل، 25 تا 27 نوامبر 2020، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی: مبانی و برنامه‌های کاربردی: بیست و سومین سمپوزیوم برزیل، SBMF 2020، اورو پرتو، برزیل، 25 تا 27 نوامبر 2020، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و سومین سمپوزیوم برزیل در روش‌های رسمی، SBMF 2020 است که قرار بود در نوامبر 2020 در اورو پرتو، برزیل برگزار شود. در عوض، سمپوزیوم تقریباً به دلیل کووید برگزار شد. -19 همه گیری.
10 مقاله معمولی ارائه شده همراه با 3 سخنرانی دعوت شده در این کتاب به دقت بررسی و از بین 17 مورد ارسالی انتخاب شدند. مقالات در بخش های موضوعی سازماندهی شده اند: گزارش های تجربی. مدل ها، زبان ها و معناشناسی؛ و خطوط تولید نرم افزار.
فصل "تضمین ایمنی کنترل کننده ولتاژ بالا برای یک سیستم رباتیک
صنعتی" تحت مجوز Creative Commons Attribution 4.0 بین المللی
از طریق link.springer.com در دسترس است.< /p>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.
The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.
Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic System’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
فهرست مطالب
Front Matter ....Pages i-x
Front Matter ....Pages 1-1
Formal Verification of Neural Networks? (Martin Leucker)....Pages 3-7
Navigating the Universe of Z3 Theory Solvers (Nikolaj Bjørner, Lev Nachmanson)....Pages 8-24
Revisiting Refactoring Mechanics from Tool Developers’ Perspective (Jonhnanthan Oliveira, Rohit Gheyi, Felipe Pontes, Melina Mongiovi, Márcio Ribeiro, Alessandro Garcia)....Pages 25-42
Front Matter ....Pages 43-43
Safety Assurance of a High Voltage Controller for an Industrial Robotic System (Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag)....Pages 45-63
Statistical Model Checking in Drug Repurposing for Alzheimer’s Disease (Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos)....Pages 64-80
Front Matter ....Pages 81-81
Calculational Proofs in Relational Graphical Linear Algebra (João Paixão, Paweł Sobociński)....Pages 83-100
Modeling Big Data Processing Programs (João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante)....Pages 101-118
Optimization of Timed Scenarios (Neda Saeedloei, Feliks Kluźniak)....Pages 119-136
Reversal Fuzzy Switch Graphs (Suene Campos, Regivan Santiago, Manuel A. Martins, Daniel Figueiredo)....Pages 137-154
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model (Mihir Parang Mehta, William R. Cook)....Pages 155-170
Front Matter ....Pages 171-171
Merging Cloned Alloy Models with Colorful Refactorings (Chong Liu, Nuno Macedo, Alcino Cunha)....Pages 173-191
Porting the Software Product Line Refinement Theory to the Coq Proof Assistant (Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago Castro)....Pages 192-209
Safe Evolution of Product Lines Using Configuration Knowledge Laws (Leopoldo Teixeira, Rohit Gheyi, Paulo Borba)....Pages 210-227
Back Matter ....Pages 229-229
نظرات کاربران
کتاب های تصادفی
دانلود کتاب One Man In His Time: The Memoirs Of Serge Obolensky
دانلود کتاب Planning Cities With Young People and Schools: Forging Justice, Generating Joy
دانلود کتاب Shoveling smoke : advertising and globalization in contemporary India
دانلود کتاب The Ethics of Narrative: Essays on History, Literature, and Theory, 1998–2007
