توصيف رسمي و وارسي دستگاه تنظيم كننده ضربان قلب با استفاده از Z و NModel
/ پيمان فيضيان
توصيف رسمي و وارسي دستگاه تنظيم كننده ضربان قلب با استفاده از Z و NModel
نویسنده
/ پيمان فيضياننسخه 1
فهرست
شناسنامه
سرشناسه
فيضيان، پيمان، نویسندهعنوان و نام پدیدآور
توصيف رسمي و وارسي دستگاه تنظيم كننده ضربان قلب با استفاده از Z و NModel / / پيمان فيضيانمشخصات ظاهری
ه,91ص.؛ : تصوير، جدول، پيوست.موضوع
راستي آزماييVerification
ضربان ساز قلب مصنوعي
Cardiac pacemakers
تصديق رسمي
Formal verification
تجهيزات قلبي - عروقي
Cardiovascular equipments
روش هاي محاسباتي
Computational methodes
روش هاي رسمي (علوم رايانه)
Formal methods (computer science)
زد (زبان برنامه نويسي رايانه)
Z (computer program language
زبان
فارسی