تسریع وارسی مدل آماری با استفاده از رگرسیون خطی
وارسی مدل آماری یکی از روش های راستی آزمایی رسمی سیستم های کامپیوتری است این روش معمولا از زنجیره های ما…
زنجیره های مارکوفوارسی مدل آماریرگرسیون خطی
پروفایل پژوهشگر
محمدصادق محقق
۱مقاله
۰کنفرانس