البيئة للحصول على التحقق من البرامج المضمنة

ترجمة تسلسل UML مع هذا الصك
التحميل الان

البيئة للحصول على التحقق من البرامج المضمنة الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • GPL
  • اسم الناشر:
  • Marcelo M. Custodio
  • أنظمة التشغيل:
  • Windows All
  • حجم الملف:
  • 57 KB

البيئة للحصول على التحقق من البرامج المضمنة العلامات


البيئة للحصول على التحقق من البرامج المضمنة وصف

تم بناء بيئة للتحقق من البرامج المضمنة كبيئة قادرة على ترجمة مخططات تسلسل UML إلى شبكات Petri والتحقق من خصائص النظام مع SMV. تتلقى الأداة كمخططات تسلسل المدخلات من UML ويوفر شبكة Petri في ثلاثة صيغ مختلفة: apnn، pnml، SMV.


البيئة للحصول على التحقق من البرامج المضمنة برامج ذات صلة

HPGS.

برنامج HPGL Script مفتوح المصدر HPGL / 2 مترجم ...

453 2.1 MB

تحميل

معلومات عنا