دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings (به فارسی: تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: چهارمین سمپوزیوم بین‌المللی اوپسالا، سوئد، 9 تا 13 سپتامبر 1996 مجموعه مقالات) نوشته شده توسط «Flaviu Cristian (auth.) – Bengt Jonsson – Joachim Parrow (eds.)»
اطلاعات کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: چهارمین سمپوزیوم بین‌المللی اوپسالا، سوئد، 9 تا 13 سپتامبر 1996 مجموعه مقالات
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Flaviu Cristian (auth.) – Bengt Jonsson – Joachim Parrow (eds.)
زبان: english
فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 490 / 489
حجم فایل: 4.37 مگابایت
کد کتاب: 3540616489 , 9783540616481
نوبت چاپ: 1
توضیحات کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: چهارمین سمپوزیوم بین‌المللی اوپسالا، سوئد، 9 تا 13 سپتامبر 1996 مجموعه مقالات
این جلد مجموعه مقالات داوری چهارمین سمپوزیوم بین‌المللی تکنیک‌های رسمی در سیستم‌های بی‌درنگ و مقاوم به خطا، FTRTFTS ’96، برگزار شده در اوپسالا، سوئد، در سپتامبر 1996 است.
22 مقاله کامل اصلاح‌شده ارائه شده است. از مجموع 61 ارسال انتخاب شدند. همچنین شامل سه مشارکت دعوت شده و پنج نمایش ابزار است. مقالات در بخش‌هایی در نمودارهای حالت، خودکارهای زمان‌بندی‌شده، محاسبات مدت زمان، مطالعات موردی، زمان‌بندی، تحمل خطا، مشخصات و تأیید سازمان‌دهی شده‌اند.
This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS ’96, held in Uppsala, Sweden, in September 1996.
The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.