| مكتبة محلل السيارات توقيت uppaal مكتبة محلل تلقائية توقيت UPPAAL (Libutap) هي مكتبة المحلل المحلل المستخدمة من قبل UPPAAL. |
التحميل الان |
مكتبة محلل السيارات توقيت uppaal الترتيب والملخص
- اسم الناشر:
- Gerd Behrmann
مكتبة محلل السيارات توقيت uppaal العلامات
مكتبة محلل السيارات توقيت uppaal وصف
مكتبة محلل توقيت Autpraal Timpaal (Libutap) هي مكتبة المحلل المستخدمة من قبل UPPAAL. مكتبة محلل توقيت APPAAL توقيت (LIBUTAP) هي مكتبة المحلل المحلل المستخدمة من قبل UPPAAL.Requirements: دول مجلس التعاون الخليجي (2.95.3 أو أحدث) libxml2 (2.6.0 أو أحدث) جعل جنو (3.79 يعمل بشكل جيد؛ إصدارات أخرى من جعل العمل ، ولكن لم يتم اختبارها) Flex - اختياري (2.5.4A يعمل بشكل جيد) Bison - اختياري (1.35 Works، 1.28 لا) gperf - اختياري (2.7.2 يعمل بشكل جيد) Doxygen - اختياري (يعمل 1.3-RC3 غرامة) التثبيت: يستخدم libutap السيارات والأوتوكونية لتوليد إجراء ملفات وتكوين عملية الإنشاء. لتكوين وتثبيت المكتبة، ببساطة تشغيل: الكثير من bugfixes الطفيفة، تنظيف الكود، ودعم أحدث ملحق اللغة UPPAAL. يتم أيضا تضمين محلل مثال للتنسيق المتوسط المتوسع الجديد أيضا.
مكتبة محلل السيارات توقيت uppaal برامج ذات صلة