دانلود کتاب Formal verification of timed systems: a survey and perspective

Name: Formal verification of timed systems: a survey and perspective
Availability: InStock
Author: Wang F.

by Wang F.

عنوان فارسی: تأیید رسمی سیستم های به پایان رسیده: یک بررسی و چشم انداز
سال: 2004
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 23
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 0.59 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

An overview of the current state of the art of formal verification of real-time systems is presented. We discuss commonly accepted models, specification languages, verification frameworks, state-space representation schemes, state-space construction procedures,eduction techniques, pioneering tools, and finally some new related issues. We also make a few comments according to our experience with verification tool design and implementation.

گزارش اشکال ⚠

درباره نویسنده

به وانگ فو، با تشکر برای همه چیز! جولی نیومر (به انگلیسی: To Wong Foo, Thanks for Everything! Julie Newmar) فیلمی کمدی محصول سال ۱۹۹۵ به کارگردانی بیبان کیدرون است.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!