توضیحات
This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Bchi automata, extensions to infinite-state systems, and concurrent software.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات داوری هفدهمین کارگاه بینالمللی SPIN در نرمافزار بررسی مدل، SPIN 2010 است که در دانشگاه Twente، در Enschede، هلند، در سپتامبر 2010 برگزار شد. 13 مقاله کامل اصلاحشده همراه با 2 مقاله ابزار و 3 مقاله ارائه شده است. گفتگوهای دعوت شده به دقت بررسی و از بین 33 مورد ارسالی انتخاب شدند. مقالات در بخشهای موضوعی در مورد نظریههای مدول رضایتپذیری برای بررسی مدل، بررسی مدل در زمینه (شبیهسازی، آزمایش، UML)، پیادهسازی و عملکرد بررسی مدل، اتوماتهای LTL و Bchi، توسعههای سیستمهای حالت بینهایت، و نرمافزار همزمان سازماندهی شدهاند.
tag : دانلود کتاب نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات , Download نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات , دانلود نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات , Download Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings Book , نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات دانلود , buy نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات , خرید کتاب نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات , دانلود کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings , کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings , دانلود Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings , خرید Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings , خرید کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.