بانک مقالات ISI با ترجمه فارسی
مقالات با ترجمه فارسی

عنوان کنفرانس دوازدهمین کارگاه آموزشی بین المللی در زمینه جنبه های کمی زبان های برنامه نویسی و سیستم ها   (QAPL 2014)

QAPL 2014 : Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems

حوزه(های) تحت پوشش:  مهندسی کامپیوتر، علوم کامپیوتر، فناوری اطلاعات
تاریخ برگزاری:  Apr 12, 2014 – Apr 13, 2014 (شنبه ۲۳ فروردین ۱۳۹۳- شنبه ۲۴ فروردین ۱۳۹۳)

محل برگزاری:  گرونوبل – فرانسه
وضعیت کنفرانس: اطلاع رسانی

تاریخ‌های مهم

مهلت ارسال اصل مقاله : Dec 31, 2013 (سه‌شنبه ۱۰ دی ۱۳۹۲) 

مهلت ارسال چکیده مقاله : Dec 24, 2013 (سه‌شنبه ۳ دی ۱۳۹۲ )

اعلام نتایج داوری اصل مقاله : Feb 3, 2014 (دوشنبه ۱۴ بهمن ۱۳۹۲)

محورهای همایش:

  • تجزیه و تحلیل HW آسنکرون سیستم های اطلاعاتی طراحی زبان
  • استدلال خودکار سیستم های چندکاره گسترش زبان
  • تایید منطقی روشنی زبان
  • تست معناشناسی زبان های کوانتومی
  • ایمنی تجزیه و تحلیل عملکرد سیستم های رمانی بحرانی
  • تجزیه و تحلیل خطر و ریسک، تجزیه و تحلیل برنامه سیستم های جاسازی شده
  • نظریه زمانبندی تجزیه و تحلیل پروتکل مدل های هماهنگی
  • امنیت بررسی مدل های سیستم های توزیع شده
  • سیستم های بیولوژیکی، سیستم های همزمان، تجزیه و تحلیل منابع

اطلاعات تماس :

وب‌سایت :

http://qapl14.inria.fr/

پاسخ دهید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

شما می‌توانید از این دستورات HTML استفاده کنید: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>