عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
TL48726
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Formal Verification of Nonlinear Biological Systems
نام عام مواد
[Thesis]
نام نخستين پديدآور
Md Ariful Islam
نام ساير پديدآوران
Smolka, Scott A.
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
State University of New York at Stony Brook
تاریخ نشرو بخش و غیره
2015
مشخصات ظاهری
نام خاص و کميت اثر
105
يادداشت کلی
متن يادداشت
Committee members: Grosu, Radu; Mita, Sayan; Tannenbaum, Allen
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Place of publication: United States, Ann Arbor; ISBN=978-1-339-47621-6
یادداشتهای مربوط به پایان نامه ها
جزئيات پايان نامه و نوع درجه آن
Ph.D.
نظم درجات
Computer Science
کسي که مدرک را اعطا کرده
State University of New York at Stony Brook
امتياز متن
2015
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Abstraction and composition have proved to be particularly useful in extending the reach of formal verification. Abstraction reduces the size of the system under investigation by neglecting details irrelevant to the properties of interest. Compositionality allows us to decompose large-scale system into smaller components and verify each component individually and reason about the verification of entire system from verified components. Together, these two techniques permit us to substitute a component with its equivalent abstraction such that the overall system retains the property of interest.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science
اصطلاحهای موضوعی کنترل نشده
اصطلاح موضوعی
Applied sciences;C. elegans;Cardiac electrophysiology;Compositional reasoning;Formal verification;Nonlinear system;Reachability analysis
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Al-Ansari, Banan Ahmed
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Smolka, Scott A.
شناسه افزوده (تنالگان)
تقسيم فرعي
Computer Science
مستند نام تنالگان تاييد نشده
State University of New York at Stony Brook
شماره دستیابی
شماره بازیابی
1785084017; 10012670
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
[Thesis]
کد کاربرگه
276903
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
