خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
قیمت اصلی 139,000 تومان بود.64,000 تومانقیمت فعلی 64,000 تومان است.
تعداد فروش: 51
| عنوان فارسی |
مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: سومین کنفرانس بین المللی ، FORMATS 2005 ، Uppsala ، سوئد ، 26-28 سپتامبر ، 2005. مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Lothar Thiele (auth.), Paul Pettersson, Wang Yi (eds.) |
| ISBN | 3540309462, 9783540309468 |
| سال نشر | 2005 |
| زبان | English |
| تعداد صفحات | 312 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات پس از داوری کامل سومین کنفرانس بینالمللی مدلسازی رسمی و تجزیه و تحلیل سیستمهای زمانبندی شده، FORMATS 2005، در اوپسالا، سوئد در سپتامبر 2005 در ارتباط با مدرسه تابستانی ARTIST2 در مدلسازی، آزمایش و تأیید مؤلفهها است. ، و تجزیه و تحلیل استاتیک سیستم های جاسازی شده.
19 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 3 سخنرانی دعوت شده با دقت از 43 مورد ارسالی انتخاب شدند. این مقالات شامل کار روی معناشناسی و مدلسازی سیستمهای زمانبندیشده، فرمالیسمها برای مدلسازی و راستیآزمایی از جمله اتوماتای زماندار، اتوماتای ترکیبی، و شبکههای پتری زماندار، بازیهایی برای تأیید و ترکیب، بررسی مدل، مطالعات موردی و مسائل مربوط به پیادهسازی، امنیت و عملکرد هستند. تجزیه و تحلیل.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.