منو
رکورد قبلیرکورد بعدی

" Formal Verification of Nonlinear Biological Systems "


Document Type : Latin Dissertation
Language of Document : English
Record Number : 803917
Doc. No : TL48726
Call number : ‭1785084017;‮ ‬10012670‬
Main Entry : Al-Ansari, Banan Ahmed
Title & Author : Formal Verification of Nonlinear Biological Systems\ Md Ariful IslamSmolka, Scott A.
College : State University of New York at Stony Brook
Date : 2015
Degree : Ph.D.
field of study : Computer Science
student score : 2015
Page No : 105
Note : Committee members: Grosu, Radu; Mita, Sayan; Tannenbaum, Allen
Note : Place of publication: United States, Ann Arbor; ISBN=978-1-339-47621-6
Abstract : 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.
Subject : Computer science
Descriptor : Applied sciences;C. elegans;Cardiac electrophysiology;Compositional reasoning;Formal verification;Nonlinear system;Reachability analysis
Added Entry : Smolka, Scott A.
Added Entry : Computer ScienceState University of New York at Stony Brook
copyhttps://lib.clisel.com/site/catalogue/803917
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟