فیلتر نتایج
مقاله کنفرانسی
مدلسازی و درستیابی سیستم اینتر لاکینگ راه اهن به روش صوری و با استفاده از متد B
نویسندگان: احمد میر آبادی، محسن پیکرستان
سال انتشار 1389
محل انتشار: دوازدهمین همایش بین المللی حمل و نقل ریلی
تعداد صفحات: 14 | زبان: فارسی
مقاله کنفرانسی
مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B
نویسندگان: احمد میرابادی، محسن پیکرستان
سال انتشار 1388
محل انتشار: اولین کنفرانس ملی تصادفات و سوانح جاده ای و ریلی
تعداد صفحات: 12 | زبان: فارسی