تحلیل صوری دسترسیپذیری سیستمهای سایبر-فیزیکی بر پایهی زبان هیبرید ربکا
سعید ژیانی
تحلیل صوری دسترسیپذیری سیستمهای سایبر-فیزیکی بر پایهی زبان هیبرید ربکا
المؤلف
سعید ژیانیطبع 1
قائمة
شناسنامه
المدخل الرئيسي
ژیانی، سعید، پایان نامه نویس، نویسندهالعنوان واسم المؤلف
تحلیل صوری دسترسیپذیری سیستمهای سایبر-فیزیکی بر پایهی زبان هیبرید ربکا / سعید ژیانیالمواصفات الشكلية
د، [146]ص.؛ تصویر، جدول، نمودار.الموضوع
دسترس پذیریسیستمهای سایبر-فیزیکی
خودکارهی ترکیبی
سیستمگذار زمانی
ربكا (زبان برنامه نويسي رايانه اي)
Rebeca (Computer program language)
اللغة
فارسی