DocumentCode :
9880
Title :
Reasoning of Safety-Critical Medical Devices using Formal Methods.
Author :
S. Purushothaman Iyer استاد راهنما , ANNIE I. ANTN استاد مشاور , JOHN W. BAUGH استاد مشاور
University :
Raligh North Carolina state university
Grade :
نامعلوم
Major :
Master of Science )Computer Science(
Number of pages :
0
Publish Date :
2002
Keyword :
Automata , Verification , specification , analysis , MODELING , formal methods , FDA , WRAIR
Note :
01
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=17&DC=9880
