مونا

أداة تترجم الصيغات إلى Automata المحدود
التحميل الان

مونا الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • GPL
  • اسم الناشر:
  • BRICS
  • أنظمة التشغيل:
  • Windows All
  • حجم الملف:
  • 904 KB

مونا العلامات


مونا وصف

Mona هي أداة مساعدة بسيطة تم إنشاؤها من أجل تزويدك بوسائل سريعة لترجمة الصيغ إلى أتمتة الحالة المحدودة. قد تعبر الصيغ عن أنماط البحث والخصائص الزمنية للنظم التفاعلية أو قيود الأشجار التي تحليلها، إلخ. يحلل منى Automaton الناتجة عن التجميع وطبع "صالح" أو مثال مضاد.


مونا برامج ذات صلة

robotvisioncad.

robotvisioncad أو في short rvcad هو تصميم بمساعدة الكمبيوتر لمعالجة الصور ورؤية الكمبيوتر. تقدم GUI في RVCAD للمستخدمين رؤية حيث يسحب المستخدمون وإسقاط عناصر معالج الصور، ويعملون ...

169 5.3 MB

تحميل

Xtrkcad.

xtrackcad هو برنامج CAD لتصميم تخطيطات السكك الحديدية النموذجية. ...

169 Free

تحميل