دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings (به فارسی: تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: پنجمین سمپوزیوم بین‌المللی، FTRTFT’98 لینگبی، دانمارک، 14 تا 18 سپتامبر 1998 مجموعه مقالات) نوشته شده توسط «John C. Knight (auth.) – Anders P. Ravn – Hans Rischel (eds.)»
اطلاعات کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: پنجمین سمپوزیوم بین‌المللی، FTRTFT’98 لینگبی، دانمارک، 14 تا 18 سپتامبر 1998 مجموعه مقالات
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: John C. Knight (auth.) – Anders P. Ravn – Hans Rischel (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1998
تعداد صفحه: 347 / 686
حجم فایل: 7.31 مگابایت
کد کتاب: 3540650032 , 9783540650034
نوبت چاپ: 1
توضیحات کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: پنجمین سمپوزیوم بین‌المللی، FTRTFT’98 لینگبی، دانمارک، 14 تا 18 سپتامبر 1998 مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم بین‌المللی تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا، FTRTFT’98 است که در لینگبی، دانمارک، در سپتامبر 1998 برگزار شد.
22 مقاله کامل اصلاح‌شده ارائه شده است. برای گنجاندن در کتاب به دقت انتخاب و بررسی شدند. همچنین شامل چهار مشارکت دعوت شده و پنج نمایش ابزار است. این مقالات به جنبه‌های فعلی موضوع داغ سیستم‌های تعبیه‌شده، به‌ویژه منطق زمانی، مهندسی نیازمندی‌ها، تکنیک‌های تحلیل، تأیید، بررسی مدل، و برنامه‌ها می‌پردازند.
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT’98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.