توصيف رسمي و وارسي دستگاه تنظيم كننده ضربان قلب با استفاده از 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
اللغة
فارسی