هذا هو تطبيق Linux المسمى htl2xta والذي يمكن تنزيل أحدث إصدار له باسم HTL2XTA.Rev.beta.0.2.zip. يمكن تشغيله عبر الإنترنت في موفر الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق عبر الإنترنت المسمى htl2xta مع OnWorks مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
htl2xta
Ad
الوصف
مترجم HTL إلى XTA (Uppaal).
الجمهور
جمهور آخر
واجهة المستخدم
وحدة التحكم / المحطة
لغة البرمجة
OCaml (الجمل الموضوعي)
الفئات
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/htl2xta/. وقد تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمة التشغيل المجانية لدينا.