دانلود کتاب 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, Gre (به فارسی: تکنیک‌های رسمی، مدل‌سازی و تحلیل سیستم‌های زمان‌دار و متحمل خطا: کنفرانس‌های بین‌المللی مشترک در مورد مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، فرمت‌های 2004، و تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا، FTRTFT 2004، Gre) نوشته شده توسط «Paul Feautrier (auth.) – Yassine Lakhnech – Sergio Yovine (eds.)»
اطلاعات کتاب تکنیک‌های رسمی، مدل‌سازی و تحلیل سیستم‌های زمان‌دار و متحمل خطا: کنفرانس‌های بین‌المللی مشترک در مورد مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، فرمت‌های 2004، و تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا، FTRTFT 2004، Gre
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Paul Feautrier (auth.) – Yassine Lakhnech – Sergio Yovine (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 402 / 406
حجم فایل: 4.53 مگابایت
کد کتاب: 3540231676 , 9783540231677
نوبت چاپ: 1
توضیحات کتاب تکنیک‌های رسمی، مدل‌سازی و تحلیل سیستم‌های زمان‌دار و متحمل خطا: کنفرانس‌های بین‌المللی مشترک در مورد مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، فرمت‌های 2004، و تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا، FTRTFT 2004، Gre
این کتاب مجموعه مقالات داوری کنفرانس‌های مشترک بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2004، و تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا، FTRTFT 2004 است که در گرنوبل، فرانسه، در سپتامبر 2004 برگزار شد. .
24 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 2 سخنرانی دعوت شده با دقت بررسی و از 70 مورد ارسالی انتخاب شدند. از جمله موضوعات پرداخته شده عبارتند از تأیید رسمی، سیستم های رای گیری، مشخصات رسمی، سیستم های اتوماسیون قابل اعتماد، بررسی مدل، اتومات های زمان بندی شده، تست بلادرنگ، پروتکل های تحمل خطا، تحمل خطا ایمن، زمان بندی بلادرنگ، بررسی رضایتمندی، مدل نمادین چک کردن، سیستم های ترکیبی تصادفی، شبکه های پتری زمان بندی شده، و خودکارهای ثبت رویداد.
This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004.
The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.