توضیح یک مقاله در حوزه formal verification
پنج سال پیش منتشر شده
تعداد بازدید: 419
کد پروژه: 204228
شرح پروژه
یک مقاله در حوزه formal verification یا همون model checking هست. من یه بخش هایی رو متوجه نمیشم. لازم دارم کسی که تو این حوزه کار کرده و تخصص داره و البته زبان خوبی داره این مقاله رو بخونه و برام توضیح بده.
این مقاله خیلی تخصصی هست و در رابطه با formal verification of real-time systems هست. اگر کسی تو این زمینه تخصص داره لطفا پیام بده. من جزییات رو بهش میگم.
مقاله رو هم قرار دادم تا حدودی ببینید چیه
این پروژه شامل 1 فایل مهم است، لطفا قبل از ارسال پیشنهاد حتما نسبت به بررسی این فایل اقدام فرمایید.
مهارت ها و تخصص های مورد نیاز
مبلغ پروژه
65,000 تومان
مهلت برای انجام
10روز
وضعیت مناقصه
انجام شده
درباره کارفرما
عضویت پنج سال پیش
