دانلود کتاب NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

Name: NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Availability: InStock
Author: Cesare Tinelli (auth.)
ISBN: 9783642288913, 364228891X

by Cesare Tinelli (auth.)

عنوان فارسی: ناسا روش های رسمی: سمپوزیوم بین المللی 4، NFM 2012، نورفولک، VA، ایالات متحده آمریکا، آوریل 3-5، 2012. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2012
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 466-477
شابک: 9783642288913, 364228891X
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 7.00 مگابایت

گزارش تخلف

دانلود کتاب

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

جزییات کتاب

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.

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

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

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

نظر دهید

Adding comments has been disabled.

نظرات (0)

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