آموزش برابریها، انتزاع و کاهش ترتیب جزئی
دانلود Equivalences, Abstraction, and Partial Order Reduction
آموزش متدهای انتزاع و کاهش ترتیب جزئی برای بهینهسازی و کاهش پیچیدگی مدلهای سیستم و تحلیل فضای حالت.
برای دریافت و مشاهده جزییات بیشتر این دوره کلیک کنید