دانلود کتاب Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی: ششمین سمپوزیوم بین‌المللی، ISoLA 2014، کورفو، یونان، 8 تا 11 اکتبر 2014، و پنجمین سمپوزیوم بین‌المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی: ششمین سمپوزیوم بین‌المللی، ISoLA 2014، کورفو، یونان، 8 تا 11 اکتبر 2014، و پنجمین سمپوزیوم بین‌المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
نام کتاب : Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : استفاده از روش‌های رسمی، تأیید و اعتبارسنجی: ششمین سمپوزیوم بین‌المللی، ISoLA 2014، کورفو، یونان، 8 تا 11 اکتبر 2014، و پنجمین سمپوزیوم بین‌المللی، ISoLA 2012، هراکلیون، کرت، یونان، 15-18 اکتبر مقالات منتخب اصلاح شده
سری : Communications in Computer and Information Science 683
نویسندگان : Anna-Lena Lamprecht (eds.)
ناشر : Springer International Publishing
سال نشر : 2016
تعداد صفحات : 158
ISBN (شابک) : 9783319516400 , 9783319516417
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 15 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری ششمین سمپوزیوم بین‌المللی در استفاده از کاربردهای روش‌های رسمی، تأیید و اعتبارسنجی، ISoLA 2014، برگزار شده در کورفو، یونان، در اکتبر 2014 و پنجمین سمپوزیوم بین‌المللی، ISoLA 2012 است. ، در هراکلیون، کرت، یونان، در اکتبر 2012 برگزار شد.
9 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از بین 22 مورد ارسالی انتخاب شدند. این جلد مجموعه مقالات پس از کنفرانس سمپوزیوم دکتری 2014 و آموزش 2014 "یادگیری خودکار در عمل" را با انتشار پس از کنفرانس مشارکت های منتخب از آهنگ های "سیستم های اطلاعات جغرافیایی فرآیند گرا و برنامه های کاربردی" و "فرآیندها و یکپارچه سازی داده ها" ترکیب می کند. در مراقبت های بهداشتی شبکه ای" از ISoLA 2012.فهرست مطالب :
Front Matter....Pages I-VII
Front Matter....Pages 1-1
Rehasport: The Challenge of Small Margin Healthcare Accounting....Pages 3-18
Front Matter....Pages 19-19
Design and Implementation of Data Usability Processor into an Automated Processing Chain for Optical Remote Sensing Data....Pages 21-37
Automated Spatial Data Processing and Refining....Pages 38-49
Front Matter....Pages 51-51
Learning-Based Cross-Platform Conformance Testing....Pages 53-79
Front Matter....Pages 81-81
Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching....Pages 83-96
Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data....Pages 97-112
Guided Domain-Specific Tailoring of jABC4....Pages 113-127
Model-Driven Active Automata Learning with LearnLib Studio ....Pages 128-142
Counterexample-Guided Prefix Refinement Analysis for Program Verification....Pages 143-155
Back Matter....Pages 157-157
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.
The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.پست ها تصادفی