هذا هو تطبيق Linux المسمى ntccKMC للتشغيل في Linux عبر الإنترنت والذي يمكن تنزيل أحدث إصدار له كـ ntccKMC.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى ntccKMC عبر الإنترنت للتشغيل في Linux عبر الإنترنت باستخدام 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. قم بتنزيل التطبيق وتثبيته وتشغيله.
ntccKMC للتشغيل في Linux عبر الإنترنت
Ad
الوصف
ntccKMC: مدقق نموذج منطقي خطي قائم على هيكل Kripke لحساب التفاضل والتكامل غير القطعي لبرمجة القيد المتزامن المتزامن (ntcc).مستوحى من تطبيق وخوارزميات Python لجايمي آرياس ومترجم ntcc من Avispa
تم تطويره بواسطة Mauricio Toro في إطار React + الخاص بـ Colciencia من مجموعة أبحاث Avispa.
الجمهور
بحث علمي
يمكن أيضًا جلب هذا التطبيق من https://sourceforge.net/projects/ntcckmc/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
