دانلود کتاب Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings (به فارسی: مدل سازی رسمی و تحلیل سیستم های زمان بندی شده: دوازدهمین کنفرانس بین المللی، FORMATS 2014، فلورانس، ایتالیا، 8-10 سپتامبر 2014. مجموعه مقالات) نوشته شده توسط «Axel Legay – Marius Bozga (eds.)»
اطلاعات کتاب مدل سازی رسمی و تحلیل سیستم های زمان بندی شده: دوازدهمین کنفرانس بین المللی، FORMATS 2014، فلورانس، ایتالیا، 8-10 سپتامبر 2014. مجموعه مقالات
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer International Publishing
نویسنده: Axel Legay – Marius Bozga (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2014
تعداد صفحه: 253 / 261
حجم فایل: 5.63 مگابایت
کد کتاب: 3319105124 , 9783319105123
نوبت چاپ: 1
توضیحات کتاب مدل سازی رسمی و تحلیل سیستم های زمان بندی شده: دوازدهمین کنفرانس بین المللی، FORMATS 2014، فلورانس، ایتالیا، 8-10 سپتامبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2014، در فلورانس، ایتالیا، در سپتامبر 2014 است.
17 مقاله کامل اصلاح‌شده ارائه‌شده با دقت بررسی و انتخاب شدند. از 36 ارسالی این مقالات موضوعات مبانی و معناشناسی را پوشش می دهند. مقایسه بین مدل‌های مختلف، مانند اتوماتای زمان‌دار، شبکه‌های پتری زمان‌دار، اتوماتای ترکیبی، جبر فرآیند زمان‌دار، جبر حداکثر به اضافه، مدل‌های احتمالی. روش‌ها و ابزارهایی برای تجزیه و تحلیل سیستم‌های زمان‌بندی‌شده و رفع محدودیت‌های زمانی؛ برنامه های کاربردی در نرم افزار بلادرنگ، مدارهای سخت افزاری و مشکلات زمان بندی در تولید و مخابرات.
This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.
The 17 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers cover topics of foundations and semantics; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models; methods and tools for analyzing timed systems and resolving temporal constraints; applications in real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.