چکیده مقاله
چکیده کامل این مقاله هنوز از منبع دریافت نشده است. اطلاعات کتابشناختی و ارتباطهای پژوهشی صفحه قابل استفادهاند و با تکمیل خزنده بهروزرسانی میشوند.
کلیدواژهها
نویسندگان
احمد میر آبادی
محسن پیکرستان
محسن پیکرستان
احمد میر آبادی
شیوه ارجاع
میر آبادی، احمد و پیکرستان، محسن،1389،مدلسازی و درستیابی سیستم اینتر لاکینگ راه اهن به روش صوری و با استفاده از متد B،دوازدهمین همایش بین المللی حمل و نقل ریلی،تهران
ارائهشده در
مجموعه مقالات دوازدهمین همایش بین المللی حمل و نقل ریلی2 آبان 1389 · تهران