دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings (به فارسی: تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: دومین سمپوزیوم بین‌المللی نایمگن، هلند، 8 تا 10 ژانویه 1992 مجموعه مقالات) نوشته شده توسط «Asis Goswami – Michael Bell – Mathai Joseph (auth.) – Jan Vytopil (eds.)»
اطلاعات کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: دومین سمپوزیوم بین‌المللی نایمگن، هلند، 8 تا 10 ژانویه 1992 مجموعه مقالات
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Asis Goswami – Michael Bell – Mathai Joseph (auth.) – Jan Vytopil (eds.)
زبان: english
فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1991
تعداد صفحه: 628 / 615
حجم فایل: 5.07 مگابایت
کد کتاب: 3540550925 , 9783540550921
نوبت چاپ: 1
توضیحات کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: دومین سمپوزیوم بین‌المللی نایمگن، هلند، 8 تا 10 ژانویه 1992 مجموعه مقالات
این کتاب آخرین نتایج تحقیقاتی را در زمینه روش‌های رسمی برای سیستم‌های بلادرنگ و تحمل‌پذیر خطا ارائه می‌دهد. این مقالات مشکلات و راه‌حل‌ها را در طراحی سیستم‌های حیاتی بررسی می‌کنند و بررسی می‌کنند که چگونه استفاده از تکنیک‌های رسمی برای طراحی، تجزیه و تحلیل و تأیید در ارتباط تئوری با واقعیت‌های عملی مفید است. این کتاب حاوی مقالاتی در مورد مسائل بلادرنگ و تحمل خطا است. منطق رسمی، جبر فرآیند، و مدل‌های کنش/رویداد استفاده می‌شوند: – برای مشخص کردن و مدل‌سازی کیفی و کمی رفتار بی‌درنگ و تحمل‌پذیر خطا، – برای تجزیه و تحلیل الزامات به موقع بودن و پیامدهای فرضیه‌های خطا، – برای تأیید پروتکل‌ها و کد برنامه، – برای تدوین چارچوب های رسمی برای توسعه سیستم های بلادرنگ و متحمل خطا، – برای فرمول بندی معناشناسی زبان ها. ادغام و بارورسازی متقابل موضوعات بلادرنگ و تحمل خطا در سال‌های اخیر دیدگاه‌های جدیدی را به همراه داشته است و این موارد در این کتاب ارائه شده است.
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: – to specify and model qualitative and quantitative real-time and fault-tolerant behavior, – to analyze timeliness requirements and consequences of faulthypotheses, – to verify protocols and program code, – to formulate formal frameworks for development of real-time and fault-tolerant systems, – to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.