📣📣📣 سمینار علمی

☑️ بیست‌وپنج سال تحلیل سیستم‌های توزیع‌شده بلادرنگ
(Twenty Five Years of Analysing Real-time Distributed Systems)

☑️ سخنران: پروفسور مرجان سیرجانی- استاد دانشگاه Mälardalen و مدیر گروه تحلیل سیستم‌های سایبر-فیزیکی

☑️ در این سمینار، مروری بر ۲۵ سال توسعه زبان مدل‌سازی Rebeca و ابزارهای تحلیلی آن برای سیستم‌های توزیع‌شده، بلادرنگ و سایبر-فیزیکی ارائه می‌شود. کاربردهای این زبان در تضمین ایمنی، ارزیابی کارایی، کاهش فضای حالت در مدل‌چکینگ و چالش‌های صنعتی روش‌های رسمی مورد بحث قرار خواهد گرفت.

🔴 حضور برای علاقه‌مندان حوزه مهندسی نرم‌افزار توصیه می‌شود.

#bitroad
ــــــــــــــــــــــــ
🔷 انجمن علمی مهندسی کامپیوتر | بیتوک
📱 اینستاگرام | تلگرام