خرید و دانلود نسخه کامل کتاب Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings
قیمت اصلی 173,000 تومان بود.98,000 تومانقیمت فعلی 98,000 تومان است.
تعداد فروش: 41
| عنوان فارسی |
تکنیک های رسمی ، مدل سازی و تجزیه و تحلیل سیستم های به موقع و تحمل خطا: کنفرانس های مشترک بین المللی در مورد مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع ، FORMATS 2004 و تکنیک های رسمی در سیستم های تحمل پذیر در زمان واقعی و خطا ، FTPDFT 2004 ، گرنوبل ، فرانسه ، سپتامبر 22-24 ، 2004. مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTPDFT 2004, Grenoble, France, September 22-24, 2004. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Paul Feautrier (auth.), Yassine Lakhnech, Sergio Yovine (eds.) |
| ISBN | 3540231676, 9783540302063 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 415 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 14 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری کنفرانس های بین المللی مشترک مدل سازی و تحلیل رسمی سیستم های زمان بندی شده، فرمت های 2004، و تکنیک های رسمی در سیستم های بلادرنگ و تحمل خطا، FTRTFT 2004 است که در گرنوبل، فرانسه، در سپتامبر 2004 برگزار شد. .
24 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 2 سخنرانی دعوت شده با دقت بررسی و از بین 70 مورد ارسالی انتخاب شدند. از جمله موضوعات پرداخته شده عبارتند از تأیید رسمی، سیستم های رای گیری، مشخصات رسمی، سیستم های اتوماسیون قابل اعتماد، بررسی مدل، اتومات های زمان بندی شده، تست بلادرنگ، پروتکل های تحمل خطا، تحمل خطا ایمن، زمان بندی بلادرنگ، بررسی رضایت مندی، مدل نمادین چک کردن، سیستم های ترکیبی تصادفی، شبکه های پتری زمان بندی شده، و خودکارهای ثبت رویداد.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.