دانلود کتاب Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings (به فارسی: مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: نهمین کنفرانس بین المللی، FORMATS 2011، آلبورگ، دانمارک، 21-23 سپتامبر 2011. مجموعه مقالات) نوشته شده توسط «Jean-Francois Kempf – Marius Bozga – Oded Maler (auth.) – Uli Fahrenberg – Stavros Tripakis (eds.)»
اطلاعات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: نهمین کنفرانس بین المللی، FORMATS 2011، آلبورگ، دانمارک، 21-23 سپتامبر 2011. مجموعه مقالات
موضوع اصلی: کامپیوتر – برنامه نویسی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Jean-Francois Kempf – Marius Bozga – Oded Maler (auth.) – Uli Fahrenberg – Stavros Tripakis (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2011
تعداد صفحه: 353 / 368
حجم فایل: 4.77 مگابایت
کد کتاب: 364224310X , 9783642243103
نوبت چاپ: 1
توضیحات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: نهمین کنفرانس بین المللی، FORMATS 2011، آلبورگ، دانمارک، 21-23 سپتامبر 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2011، برگزار شده در آلبورگ، دانمارک، در سپتامبر 2011 است. و از بین 43 مورد ارسالی انتخاب شد. مقالات در بخش‌های موضوعی در مورد روش‌های احتمالی، استحکام، بازی‌ها، تأیید و آزمایش، تأیید، سیستم‌های ترکیبی و برنامه‌های کاربردی سازمان‌دهی شده‌اند.
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.
