كتابة الإعلانات وتعريف النظام بتعريفات شبيهة للغة الجافا
تفاصيل المشروع
UPPAAL هي أداة لنمذجة النظام ثم التحقق من هذا النظام
أنا أبحث عن شخص لديه خبرة في استخدام أداة UPPAAL لنمذجة الأنظمة والتحقق منها.
المطلوب هو كتابة الإعلانات وتعريف النظام بتعريفات شبيهه للغة الجافا.
UPPAAL is a tool to model the system then verify that system
I am looking for someone who has experience of using UPPAAL tool to model systems and verify them .
The task is to write the declarations and system definition, which is almost like java language
صاحب المشروع
خلود K.
| تاريخ التسجيل | |
| معدل التوظيف | |
| المشاريع المفتوحة | 0 |
| مشاريع قيد التنفيذ | 0 |
| التواصلات الجارية | 0 |
العروض المقدمة
سارة م.
السلام عليكم ،أستادة خلود كيفك معك سارة مبرمجة مواقع وأنضمة معلوماتية خبرة ست سنوات في المجال ، طوال هته الفترة أنا أبرمج المواقع وسبقلي الاشتغال في عدة شركات م...
رواد ك.
السلام عليكم مهندس برمجيات ولدي العديد من المشاريع في لغة الجافا بالإضافة لميولي التخصصي لتحليل النظام ومعرفتي الواسعة في نمذجة الأنظمة وتدفقها باستخدام أشجار ب...