|
|
|
|
چارچوبی صوری برای تغییر پیکربندی در سیستم‌های تطبیقی
|
|
|
|
|
|
|
|
نویسنده
|
کریم پور جابر ,علیاری رباب
|
|
منبع
|
مهندسي برق و مهندسي كامپيوتر ايران - 1394 - دوره : 13 - شماره : 1 - صفحه:14 -24
|
|
|
|
|
کلیدواژه
|
آداپتور، پیکربندی پویا، سیستم های تطبیقی، روش های صوری
|
|
آدرس
|
دانشگاه تبریز, گروه علوم کامپیوتر, ایران, دانشگاه تبریز, گروه علوم کامپیوتر, ایران
|
|
پست الکترونیکی
|
robab.alyari@gmail.com
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|